AI-MO/Kimina-Prover-72B

Cold
Public
72B
FP8
16384
License: mit
Hugging Face