purewhite42
/

HAR_CoPA_Cycle1

Text Generation

formal-mathematics

statement-autoformalization

proof-autoformalization

proof-step-prediction

solution-step-drafting

text-generation-inference

Model card Files Files and versions

HAR_CoPA_Cycle1 / tokenizer.json

Commit History

Upload folder using huggingface_hub

1349d21
verified

purewhite42 commited on Oct 28, 2025