fieldsmodelorg
/

proof-pilot-checkpoints

theorem-proving

Model card Files Files and versions

proof-pilot-checkpoints

Commit History

README.md: dtype bfloat16 fix / s150 layout note

3345aa0
verified

ycchen commited on Jul 11

step05-yarn256k-config/config.json: dtype bfloat16 fix / s150 layout note

d7b8a4b
verified

ycchen commited on Jul 11

step04-sft-stage1-32b/config.json: dtype bfloat16 fix / s150 layout note

3fcf390
verified

ycchen commited on Jul 11

Add files using upload-large-folder tool

0c25430
verified

ycchen commited on Jul 11

Add files using upload-large-folder tool

2925c01
verified

ycchen commited on Jul 11

initial commit

52205ec
verified

ycchen commited on Jul 11