Formal Reasoning hoskinson-center/proofnet Viewer • Updated Mar 17, 2023 • 371 • 3.52k • 25 project-numina/NuminaMath-LEAN Viewer • Updated Jul 31, 2025 • 104k • 2.87k • 63 project-numina/Kimina-Autoformalizer-7B Text Generation • 8B • Updated Apr 16, 2025 • 73 • • 21 project-numina/Kimina-Prover-72B Text Generation • 73B • Updated Jul 10, 2025 • 99 • 35
Mathematical Reasoning nvidia/Nemotron-SFT-Math-v4 Viewer • Updated Aug 12 • 545k • 7.11k • 56 nvidia/Nemotron-Math-Proofs-v1 Viewer • Updated Jan 5 • 925k • 1.42k • 127 nvidia/Nemotron-Math-v2 Viewer • Updated Feb 11 • 7.09M • 10.4k • 201 google/gemma-4-12B-it Any-to-Any • 12B • Updated 10 days ago • 1.81M • 1.73k
Formal Reasoning hoskinson-center/proofnet Viewer • Updated Mar 17, 2023 • 371 • 3.52k • 25 project-numina/NuminaMath-LEAN Viewer • Updated Jul 31, 2025 • 104k • 2.87k • 63 project-numina/Kimina-Autoformalizer-7B Text Generation • 8B • Updated Apr 16, 2025 • 73 • • 21 project-numina/Kimina-Prover-72B Text Generation • 73B • Updated Jul 10, 2025 • 99 • 35
Mathematical Reasoning nvidia/Nemotron-SFT-Math-v4 Viewer • Updated Aug 12 • 545k • 7.11k • 56 nvidia/Nemotron-Math-Proofs-v1 Viewer • Updated Jan 5 • 925k • 1.42k • 127 nvidia/Nemotron-Math-v2 Viewer • Updated Feb 11 • 7.09M • 10.4k • 201 google/gemma-4-12B-it Any-to-Any • 12B • Updated 10 days ago • 1.81M • 1.73k
