Hugging Face's logo

rahul3613
/
lean_byt5_aug

English
t5
theorem-proving
lean
byt5
mathematics
code
Model card Files
xet
Community
lean_byt5_aug / tokenizer_config.json

Commit History

Upload folder using huggingface_hub
6989033
verified

rahul3613 commited on