purewhite42
/

rautoformalizer_ra_internlm

Text Generation

feature-extraction

statement-autoformalization

formal-mathematics

Model card Files Files and versions Community

rautoformalizer_ra_internlm

Commit History

Create README.md

7619cdd
verified

purewhite42 commited on Feb 26

Add files using upload-large-folder tool

4621468
verified

purewhite42 commited on Feb 25

initial commit

c50cd21
verified

purewhite42 commited on Feb 25