purewhite42
/

rautoformalizer_nora_deepseek

Text Generation

statement-autoformalization

formal-mathematics

text-generation-inference

Inference Endpoints

Model card Files Files and versions Community

rautoformalizer_nora_deepseek

Commit History

Add files using upload-large-folder tool

a8369ca
verified

purewhite42 commited on 13 days ago

initial commit

9c963d1
verified

purewhite42 commited on 13 days ago