56ecaa22c9
Model: VladShash/deepseek-math-7B-lean-prover-grpo-olmo-weighed Source: Original Platform
4 lines
135 B
Plaintext
4 lines
135 B
Plaintext
version https://git-lfs.github.com/spec/v1
|
|
oid sha256:fd8141e22ce58e3f665a8e417abe1823f8fded7fd080c5375916b658f8c12faa
|
|
size 4987202208
|