Reason Through the Latent! Making Latent Visual Reasoning Necessary Paper • 2609.06746 • Published 7 days ago • 33
Nemotron Labs IMO 2026 Collection Checkpoints, training data and benchmark from 'An Open Recipe for IMO Gold: Training Nemotron for Olympiad Mathematics' (IMO 2026). • 7 items • Updated 1 day ago • 6
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models Paper • 2505.02735 • Published May 5, 2025 • 33
OpenMathReasoning Collection Models and datasets from "AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset" • 7 items • Updated Aug 11 • 48
Heimdall: test-time scaling on the generative verification Paper • 2504.10337 • Published Apr 14, 2025 • 33