Hugging Face
Models
Datasets
Spaces
Community
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
main
WG_CoPA_Cycle1
Commit History
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
purewhite42 commited on
