Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
AI-MO
/
Kimina-Prover-RL-1.7B
like
8
Follow
Project-Numina
428
Safetensors
qwen3
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
main
Kimina-Prover-RL-1.7B
/
model.safetensors
Commit History
Upload folder using huggingface_hub
bfd9fb5
verified
thibautbar
commited on
Aug 4
thibautbar
commited on
