purewhite42
/

rautoformalizer_ra_deepseek

Text Generation

statement-autoformalization

formal-mathematics

text-generation-inference

Model card Files Files and versions

rautoformalizer_ra_deepseek

1.52 kB

1 contributor

History: 1 commit

purewhite42's picture

initial commit

f7324a3 verified 9 months ago

.gitattributes

1.52 kB

initial commit 9 months ago