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

Resources

View closed (0)

Adding `safetensors` variant of this model

#1 opened 3 months ago by