Formal Reasoning hoskinson-center/proofnet Viewer • Updated Mar 17, 2023 • 371 • 896 • 24 AI-MO/NuminaMath-LEAN Viewer • Updated Jul 31, 2025 • 104k • 2.29k • 62 AI-MO/Kimina-Autoformalizer-7B Text Generation • 8B • Updated Apr 16, 2025 • 645 • • 21 AI-MO/Kimina-Prover-72B Text Generation • 73B • Updated Jul 10, 2025 • 40 • 35
Mathematical Reasoning nvidia/Nemotron-SFT-Math-v4 Viewer • Updated Aug 12 • 545k • 6.43k • 46 nvidia/Nemotron-Math-Proofs-v1 Viewer • Updated Jan 5 • 925k • 988 • 126 nvidia/Nemotron-Math-v2 Viewer • Updated Feb 11 • 7.09M • 24k • 192 google/gemma-4-12B-it Any-to-Any • 12B • Updated Jul 20 • 2.23M • 1.61k
Formal Reasoning hoskinson-center/proofnet Viewer • Updated Mar 17, 2023 • 371 • 896 • 24 AI-MO/NuminaMath-LEAN Viewer • Updated Jul 31, 2025 • 104k • 2.29k • 62 AI-MO/Kimina-Autoformalizer-7B Text Generation • 8B • Updated Apr 16, 2025 • 645 • • 21 AI-MO/Kimina-Prover-72B Text Generation • 73B • Updated Jul 10, 2025 • 40 • 35
Mathematical Reasoning nvidia/Nemotron-SFT-Math-v4 Viewer • Updated Aug 12 • 545k • 6.43k • 46 nvidia/Nemotron-Math-Proofs-v1 Viewer • Updated Jan 5 • 925k • 988 • 126 nvidia/Nemotron-Math-v2 Viewer • Updated Feb 11 • 7.09M • 24k • 192 google/gemma-4-12B-it Any-to-Any • 12B • Updated Jul 20 • 2.23M • 1.61k
