Training Step-Level Reasoning Verifiers with Formal Verification Tools Paper • 2505.15960 • Published May 21 • 7 • 2
VisOnlyQA: Large Vision Language Models Still Struggle with Visual Perception of Geometric Information Paper • 2412.00947 • Published Dec 1, 2024 • 8 • 2