Hugging Face
Models
Datasets
Spaces
Community
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
Commit History
Upload Qwen2ForCausalLM
ebcc74b
verified
Konstantine4096
commited on
Mar 13, 2025
initial commit
54ba23b
verified
Konstantine4096
commited on
Mar 13, 2025