AI-MO
/

Kimina-Prover-RL-1.7B

Model card Files Files and versions

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

thibautbar's picture

Upload folder using huggingface_hub

bfd9fb5 verified 3 months ago

history contribute delete

2.78 MB

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