OlmoLogic
Collection
Boosting Reasoning via RLVR with Inductive Logic Programming • 5 items • Updated • 2
OlmoLogic
Boosting Reasoning via RLVR with Inductive Logic Programming
-
-
AIML-TUDA/OlmoLogic-7B-Think
Text Generation • 528k • Updated • 3 • 2 -
AIML-TUDA/Olmo-3.1-7B-Think
Text Generation • 528k • Updated • 5 • 2 -
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
Paper • 2506.15787 • Published • 3 -
LLMs Gaming Verifiers: RLVR can Lead to Reward Hacking
Paper • 2604.15149 • Published • 1