Formal Reasoning hoskinson-center/proofnet Viewer • Updated Mar 17, 2023 • 371 • 964 • 24 AI-MO/NuminaMath-LEAN Viewer • Updated Jul 31, 2025 • 104k • 1.76k • 63 AI-MO/Kimina-Autoformalizer-7B Text Generation • 8B • Updated Apr 16, 2025 • 268 • • 21 AI-MO/Kimina-Prover-72B Text Generation • 73B • Updated Jul 10, 2025 • 86 • 35
Mathematical Reasoning nvidia/Nemotron-SFT-Math-v4 Viewer • Updated Aug 12 • 545k • 3.48k • 47 nvidia/Nemotron-Math-Proofs-v1 Viewer • Updated Jan 5 • 925k • 1.03k • 128 nvidia/Nemotron-Math-v2 Viewer • Updated Feb 11 • 7.09M • 9.86k • 194 google/gemma-4-12B-it Any-to-Any • 12B • Updated Jul 20 • 1.6M • 1.65k
Formal Reasoning hoskinson-center/proofnet Viewer • Updated Mar 17, 2023 • 371 • 964 • 24 AI-MO/NuminaMath-LEAN Viewer • Updated Jul 31, 2025 • 104k • 1.76k • 63 AI-MO/Kimina-Autoformalizer-7B Text Generation • 8B • Updated Apr 16, 2025 • 268 • • 21 AI-MO/Kimina-Prover-72B Text Generation • 73B • Updated Jul 10, 2025 • 86 • 35
Mathematical Reasoning nvidia/Nemotron-SFT-Math-v4 Viewer • Updated Aug 12 • 545k • 3.48k • 47 nvidia/Nemotron-Math-Proofs-v1 Viewer • Updated Jan 5 • 925k • 1.03k • 128 nvidia/Nemotron-Math-v2 Viewer • Updated Feb 11 • 7.09M • 9.86k • 194 google/gemma-4-12B-it Any-to-Any • 12B • Updated Jul 20 • 1.6M • 1.65k
