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