Hugging Face's logo

purewhite42
/
rautoformalizer_gtra_internlm

Text Generation
Transformers
PyTorch
English
internlm2
feature-extraction
lean4
statement-autoformalization
formal-mathematics
conversational
custom_code
Model card Files Community
rautoformalizer_gtra_internlm
File size: 135 Bytes 
4fd62cf
 
 
 
1
2
3
4
 
version https://git-lfs.github.com/spec/v1
oid sha256:f365d35319ec8d9c1cd70b4e2957fe8f17b4724a46956234bb6ef731198977ec
size 1979787462