AI-MO
/

Kimina-Prover-RL-0.6B

Model card Files Files and versions Community

Kimina-Prover-RL-0.6B / vocab.json

Commit History

Upload folder using huggingface_hub

e885ea4
verified

thibautbar commited on 30 days ago