purewhite42
/

rautoformalizer_nora_internlm

Text Generation

feature-extraction

statement-autoformalization

formal-mathematics

Model card Files Files and versions Community

rautoformalizer_nora_internlm

Commit History

Create README.md

b9e17b1
verified

purewhite42 commited on 15 days ago

Add files using upload-large-folder tool

90739a7
verified

purewhite42 commited on 16 days ago

initial commit

52e0ee8
verified

purewhite42 commited on 16 days ago