rahul3613
/

lean_byt5

theorem-proving

Model card Files Files and versions

2.4 GB

2 contributors

History: 9 commits

SFconvertbot's picture

Adding `safetensors` variant of this model

3c16147 verified 4 days ago