AI-MO
/

Kimina-Prover-RL-1.7B

Model card Files Files and versions Community

Kimina-Prover-RL-1.7B

Commit History

Update README.md

1dfd222
verified

thibautbar commited on 7 days ago

Update README.md

5b427ee
verified

thibautbar commited on 8 days ago

Update README.md

7cac1b8
verified

thibautbar commited on 8 days ago

Update README.md

316d942
verified

thibautbar commited on 8 days ago

Update README.md

7efd245
verified

thibautbar commited on 8 days ago

Update README.md

1014fb2
verified

thibautbar commited on 8 days ago

Update README.md

75dc5e7
verified

thibautbar commited on 8 days ago

Create README.md

a7e306a
verified

thibautbar commited on 8 days ago

Upload folder using huggingface_hub

bfd9fb5
verified

thibautbar commited on 17 days ago

initial commit

9e14453
verified

thibautbar commited on 17 days ago