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 / vocab.json

purewhite42's picture

Upload folder using huggingface_hub

352d1d1 verified 6 months ago

history contribute delete

2.78 MB

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