AI-MO
/

Kimina-Prover-RL-1.7B

Model card Files Files and versions

Kimina-Prover-RL-1.7B

Commit History

Update README.md

1dfd222
verified

thibautbar commited on Aug 14

Update README.md

5b427ee
verified

thibautbar commited on Aug 13

Update README.md

7cac1b8
verified

thibautbar commited on Aug 13

Update README.md

316d942
verified

thibautbar commited on Aug 13

Update README.md

7efd245
verified

thibautbar commited on Aug 13

Update README.md

1014fb2
verified

thibautbar commited on Aug 13

Update README.md

75dc5e7
verified

thibautbar commited on Aug 13

Create README.md

a7e306a
verified

thibautbar commited on Aug 13

Upload folder using huggingface_hub

bfd9fb5
verified

thibautbar commited on Aug 4

initial commit

9e14453
verified

thibautbar commited on Aug 4