rahul3613
/

lean_byt5_aug

theorem-proving

Model card Files Files and versions

1.2 GB

1 contributor

History: 4 commits

rahul3613's picture

Added paper details

992f05b verified 3 days ago