AI-MO
/

Kimina-Prover-RL-0.6B

Model card Files Files and versions Community

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

thibautbar's picture

Upload folder using huggingface_hub

e885ea4 verified 29 days ago

history contribute delete

2.78 MB

File too large to display, you can check the raw version instead.