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

Commit History

Create README.md

d37986b
verified

purewhite42 commited on 11 days ago

Add files using upload-large-folder tool

baa977d
verified

purewhite42 commited on 12 days ago

initial commit

b3f8f8f
verified

purewhite42 commited on 12 days ago