purewhite42
/

rautoformalizer_gtra_deepseek

Text Generation

statement-autoformalization

formal-mathematics

text-generation-inference

Inference Endpoints

Model card Files Files and versions Community

rautoformalizer_gtra_deepseek

1 contributor

History: 1 commit

purewhite42's picture

initial commit

b3f8f8f verified 12 days ago

.gitattributes

1.52 kB

initial commit 12 days ago