Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
Open paper
Benchmark
Model
Rank
Results
mathematical-reasoning-on-aime24
FLV-RL (14B)
–
Acc: 30.2
mathematical-reasoning-on-math-500
FLV-RL (14B)
–
Accuracy: 81.4
Rank counts only results with a code link.