Formal Reasoning hoskinson-center/proofnet Viewer • Updated Mar 17, 2023 • 371 • 2.14k • 25 project-numina/NuminaMath-LEAN Viewer • Updated Jul 31, 2025 • 104k • 2.35k • 63 project-numina/Kimina-Autoformalizer-7B Text Generation • 8B • Updated Apr 16, 2025 • 120 • • 21 project-numina/Kimina-Prover-72B Text Generation • 73B • Updated Jul 10, 2025 • 119 • 35
Mathematical Reasoning nvidia/Nemotron-SFT-Math-v4 Viewer • Updated Aug 12 • 545k • 4.23k • 55 nvidia/Nemotron-Math-Proofs-v1 Viewer • Updated Jan 5 • 925k • 1.29k • 129 nvidia/Nemotron-Math-v2 Viewer • Updated Feb 11 • 7.09M • 8.76k • 202 google/gemma-4-12B-it Any-to-Any • 12B • Updated Jul 20 • 1.81M • 1.7k
Formal Reasoning hoskinson-center/proofnet Viewer • Updated Mar 17, 2023 • 371 • 2.14k • 25 project-numina/NuminaMath-LEAN Viewer • Updated Jul 31, 2025 • 104k • 2.35k • 63 project-numina/Kimina-Autoformalizer-7B Text Generation • 8B • Updated Apr 16, 2025 • 120 • • 21 project-numina/Kimina-Prover-72B Text Generation • 73B • Updated Jul 10, 2025 • 119 • 35
Mathematical Reasoning nvidia/Nemotron-SFT-Math-v4 Viewer • Updated Aug 12 • 545k • 4.23k • 55 nvidia/Nemotron-Math-Proofs-v1 Viewer • Updated Jan 5 • 925k • 1.29k • 129 nvidia/Nemotron-Math-v2 Viewer • Updated Feb 11 • 7.09M • 8.76k • 202 google/gemma-4-12B-it Any-to-Any • 12B • Updated Jul 20 • 1.81M • 1.7k
