rahul3613
/

lean_byt5

theorem-proving

Model card Files Files and versions

2.4 GB

2 contributors

History: 9 commits

rahul3613's picture

SFconvertbot's picture

Adding `safetensors` variant of this model (#1)

796216d verified 3 days ago