rahul3613
/

lean_byt5_aug

theorem-proving

Model card Files Files and versions

Commit History

Added paper details

992f05b
verified

rahul3613 commited on 3 days ago

Upload folder using huggingface_hub

6989033
verified

rahul3613 commited on 3 days ago

Update README.md

a589665
verified

rahul3613 commited on 3 days ago

initial commit

ea18a6a
verified

rahul3613 commited on 3 days ago