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
1.2 GB
  • 2 contributors
 History: 4 commits
rahul3613's picture
rahul3613
Upload folder using huggingface_hub
7a30589 verified