FLV Dataset and Models of Paper "Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification in Language Models" chuxuecao/FLV-RL-Qwen2.5-14B Updated Feb 2 • 1 chuxuecao/FLV-SFT-dataset Viewer • Updated Feb 2 • 14.1k • 183 • 2 chuxuecao/FLV-RL-dataset Viewer • Updated Feb 2 • 3.85k • 152 • 1 chuxuecao/FLV-RL-Qwen2.5-7B 8B • Updated Feb 2 • 2 • 3
FLV Dataset and Models of Paper "Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification in Language Models" chuxuecao/FLV-RL-Qwen2.5-14B Updated Feb 2 • 1 chuxuecao/FLV-SFT-dataset Viewer • Updated Feb 2 • 14.1k • 183 • 2 chuxuecao/FLV-RL-dataset Viewer • Updated Feb 2 • 3.85k • 152 • 1 chuxuecao/FLV-RL-Qwen2.5-7B 8B • Updated Feb 2 • 2 • 3
