Modelpublic

AI-MO/Kimina-Prover-72B

sourceHugging Facemitupdated 1y agoView on Hugging Face

35likes40downloads

4 commits on main

0667e1c1y ago

Update README.md

liyongsea

69c5fa51y ago

Update README.md

evariste-liu

bda61771y ago

Upload Kimina-Prover-72B

evariste-liu

7513a191y ago

initial commit

evariste-liu