rahul3613
/

lean_byt5

theorem-proving

Model card Files Files and versions

Commit History

Adding `safetensors` variant of this model

3c16147
verified

SFconvertbot commited on Jan 17

Update README.md

eaf57eb
verified

rahul3613 commited on Jan 17

Update README.md

2716516
verified

rahul3613 commited on Jan 17

Added paper details

5ac37e8
verified

rahul3613 commited on Jan 17

Update README.md

f0c691d
verified

rahul3613 commited on Jan 17

Upload folder using huggingface_hub

7a30589
verified

rahul3613 commited on Jan 17

Update README.md

93692b9
verified

rahul3613 commited on Jan 17

Create README.md

3d099c3
verified

rahul3613 commited on Jan 17

initial commit

8264b0e
verified

rahul3613 commited on Jan 17