rahul3613
/

lean_byt5

theorem-proving

Model card Files Files and versions

Commit History

Adding `safetensors` variant of this model (#1)

796216d
verified

SFconvertbot commited on 3 days ago

Update README.md

eaf57eb
verified

rahul3613 commited on 3 days ago

Update README.md

2716516
verified

rahul3613 commited on 3 days ago

Added paper details

5ac37e8
verified

rahul3613 commited on 3 days ago

Update README.md

f0c691d
verified

rahul3613 commited on 3 days ago

Upload folder using huggingface_hub

7a30589
verified

rahul3613 commited on 4 days ago

Update README.md

93692b9
verified

rahul3613 commited on 4 days ago

Create README.md

3d099c3
verified

rahul3613 commited on 4 days ago

initial commit

8264b0e
verified

rahul3613 commited on 4 days ago