AI-MO
/

Kimina-Prover-RL-0.6B

Model card Files Files and versions Community

Kimina-Prover-RL-0.6B / README.md

Commit History

Update README.md

43bb4da
verified

thibautbar commited on 28 days ago

Update README.md

ab0a6bd
verified

thibautbar commited on 28 days ago

Update README.md

5d41c7b
verified

thibautbar commited on 28 days ago

Update README.md

e2e95bc
verified

thibautbar commited on 28 days ago

Create README.md

48379a4
verified

thibautbar commited on 28 days ago