fieldsmodelorg
/

proof-pilot-checkpoints

theorem-proving

Model card Files Files and versions

proof-pilot-checkpoints / step05-yarn256k-config

2.64 kB

Ctrl+K

Ctrl+K

1 contributor

History: 2 commits

ycchen's picture

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

d7b8a4b verified 3 months ago

config.json

2.64 kB
step05-yarn256k-config/config.json: dtype bfloat16 fix / s150 layout note 3 months ago