Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
Paper
•
2601.22642
•
Published
•
9
General Reasoning & Formal Reasoning
-
-
Can Tool-Integrated Reinforcement Learning Generalize Across Diverse Domains?
Paper • 2510.11184 • Published • 1 -
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
Paper • 2506.17104 • Published • 2 -
chuxuecao/FLV-SFT-dataset
Viewer • Updated • 14.1k • 26 • 2 -
chuxuecao/FLV-RL-dataset
Viewer • Updated • 3.85k • 23 • 1 -
chuxuecao/FLV-RL-Qwen2.5-7B
8B • Updated • 29 • 3 -
chuxuecao/FLV-RL-Qwen2.5-14B
Updated • 1