fieldsmodelorg
/

proof-pilot-checkpoints

theorem-proving

Model card Files Files and versions

proof-pilot-checkpoints / step07-softdistill-32b-config

Commit History

Jul 11

00:33
Add files using upload-large-folder tool

ycchen

Verified signature
2925c01