AI-MO
/

Kimina-Prover-RL-1.7B

Model card Files Files and versions

Kimina-Prover-RL-1.7B / merges.txt

thibautbar's picture

Upload folder using huggingface_hub

bfd9fb5 verified 4 months ago

history contribute delete

1.67 MB

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