Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Konstantine4096
/
proof_checking_qwen_7b
like
0
Transformers
Safetensors
arxiv:
1910.09700
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
proof_checking_qwen_7b
/
.gitattributes
Commit History
initial commit
54ba23b
verified
Konstantine4096
commited on
Mar 13, 2025