Files
Goedel-Prover-V2-32B/model-00009-of-00014.safetensors

4 lines
135 B
Plaintext
Raw Normal View History

version https://git-lfs.github.com/spec/v1
oid sha256:9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b
size 4875989752