Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
rahul3613
/
lean_byt5
like
0
PyTorch
Safetensors
English
t5
theorem-proving
lean
byt5
mathematics
code
arxiv:
2312.14188
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
1
7a30589
lean_byt5
Commit History
Upload folder using huggingface_hub
7a30589
verified
rahul3613
commited on
5 days ago
Update README.md
93692b9
verified
rahul3613
commited on
5 days ago
Create README.md
3d099c3
verified
rahul3613
commited on
5 days ago
initial commit
8264b0e
verified
rahul3613
commited on
5 days ago