Hugging Face's logo

rahul3613
/
lean_byt5

PyTorch
Safetensors
English
t5
theorem-proving
lean
byt5
mathematics
code
Model card Files
xet
Community
1
lean_byt5 / tokenizer_config.json

Commit History

Upload folder using huggingface_hub
7a30589
verified

rahul3613 commited on