rahul3613
/

lean_byt5_aug

theorem-proving

Model card Files Files and versions

lean_byt5_aug / README.md

Commit History

Added paper details

992f05b
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