Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
AI-MO
/
Kimina-Prover-Preview-Distill-7B
like
36
Follow
Project-Numina
402
Text Generation
Transformers
Safetensors
English
qwen2
chat
conversational
text-generation-inference
arxiv:
2504.11354
License:
apache-2.0
Model card
Files
Files and versions
Community
1
Train
Deploy
Use this model
main
Kimina-Prover-Preview-Distill-7B
Commit History
Update config.json
64b15fe
verified
mertunsal
commited on
Apr 17
Update README.md
7e011fd
verified
liyongsea
commited on
Apr 16
Update README.md
edf99dc
verified
liyongsea
commited on
Apr 16
Update README.md
975ef45
verified
liyongsea
commited on
Apr 16
Delete trainer_log.jsonl
38b86ae
verified
mertunsal
commited on
Apr 14
Delete trainer_state.json
ed9cbbf
verified
mertunsal
commited on
Apr 14
Delete training_args.bin
72b727f
verified
mertunsal
commited on
Apr 14
Delete train_results.json
c935767
verified
mertunsal
commited on
Apr 14
Delete all_results.json
5f87bdb
verified
mertunsal
commited on
Apr 14
Update README.md
b35a770
verified
mertunsal
commited on
Apr 14
Update README.md
ac9cb5b
verified
mertunsal
commited on
Apr 14
Update README.md
37afdfd
verified
mertunsal
commited on
Apr 14
Update README.md
eaeb72a
verified
mertunsal
commited on
Apr 14
Update README.md
e71b619
verified
mertunsal
commited on
Apr 14
Update README.md
f01d3c4
verified
mertunsal
commited on
Apr 13
Update README.md
e288b29
verified
mertunsal
commited on
Apr 13
Update README.md
7a5e8ff
verified
mertunsal
commited on
Apr 13
End of training
551aaae
verified
mertunsal
commited on
Apr 11
Model save
326eb07
verified
mertunsal
commited on
Apr 11
initial commit
d562778
verified
mertunsal
commited on
Apr 10
mertunsal
commited on
