Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
purewhite42
/
WG_CoPA_Cycle1
like
0
Text Generation
Transformers
PyTorch
purewhite42/CoPA_Dataset
purewhite42/formal_math500
purewhite42/minif2f_solving
English
qwen2
formal-mathematics
lean4
whole-solution-generation
conversational
text-generation-inference
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
1
Deploy
Use this model
refs/pr/1
WG_CoPA_Cycle1
Commit History
Adding `safetensors` variant of this model
10dab62
verified
SFconvertbot
commited on
Nov 18, 2025
Update README.md
3c26d35
verified
purewhite42
commited on
Oct 28, 2025
Create README.md
c05c248
verified
purewhite42
commited on
Oct 28, 2025
Upload folder using huggingface_hub
d1da110
verified
purewhite42
commited on
Oct 28, 2025
initial commit
41eeae4
verified
purewhite42
commited on
Oct 28, 2025