purewhite42
/

rautoformalizer_ra_deepseek

Text Generation

statement-autoformalization

formal-mathematics

text-generation-inference

Model card Files Files and versions

rautoformalizer_ra_deepseek

Commit History

Update README.md

7bd15d2
verified

purewhite42 commited on May 20

Create README.md

e121af7
verified

purewhite42 commited on Feb 26

Add files using upload-large-folder tool

dba9d5d
verified

purewhite42 commited on Feb 25

initial commit

f7324a3
verified

purewhite42 commited on Feb 25