fieldsmodelorg
/

proof-pilot-checkpoints

theorem-proving

Model card Files Files and versions

proof-pilot-checkpoints / step09-softdistill-v2test-32b /tokenizer.json

ycchen's picture

Add files using upload-large-folder tool

2925c01 verified 3 months ago

Raw History Contribute Delete

10.1 MB

File too large to display, you can check the raw version instead.