Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
purewhite42
/
HAR_CoPA_Cycle1
like
0
Text Generation
Transformers
PyTorch
purewhite42/CoPA_Dataset
purewhite42/formal_math500
purewhite42/minif2f_solving
English
qwen2
formal-mathematics
lean4
statement-autoformalization
proof-autoformalization
proof-step-prediction
solution-step-drafting
conversational
text-generation-inference
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
HAR_CoPA_Cycle1
Commit History
Update README.md
7dfb181
verified
purewhite42
commited on
Oct 28, 2025
Update README.md
eb7950d
verified
purewhite42
commited on
Oct 28, 2025
Create README.md
c7bad13
verified
purewhite42
commited on
Oct 28, 2025
Upload folder using huggingface_hub
1349d21
verified
purewhite42
commited on
Oct 28, 2025
initial commit
3d5f7ef
verified
purewhite42
commited on
Oct 28, 2025
purewhite42 commited on
