Hugging Face's logo
Hikaru Shindo's picture

Hikaru Shindo

hkrsnd
1 5
LukasHug's profile picture stefan-it's profile picture sebawastaken's profile picture
ยท

AI & ML interests

None yet

Recent Activity

published an article 13 days ago
OlmoLogic: Boosting Reasoning via RLVR with Inductive Logic Programming
updated a dataset 4 months ago
hkrsnd/proof-bank
published a dataset 4 months ago
hkrsnd/proof-bank
View all activity

Organizations

Artificial Intelligence & Machine Learning Lab at TU Darmstadt's profile picture