purewhite42
/

HAR_CoPA_Cycle2

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_Cycle2 / tokenizer.json

purewhite42's picture

Upload folder using huggingface_hub

352d1d1 verified 3 months ago

history contribute delete

7.03 MB

File too large to display, you can check the raw version instead.