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