purewhite42
/

rautoformalizer_gtra_deepseek

Text Generation

statement-autoformalization

formal-mathematics

text-generation-inference

Model card Files Files and versions

rautoformalizer_gtra_deepseek / generation_config.json

Commit History

Add files using upload-large-folder tool

baa977d
verified

purewhite42 commited on Feb 25