Goedel-LM
/

Goedel-Code-Prover-8B

theorem-proving

code-verification

Model card Files Files and versions

Goedel-Code-Prover-8B / model-00002-of-00004.safetensors

zrrr's picture

Upload Goedel-Verifier-Preview-8B model

f097e13 verified 7 months ago

History Blame Contribute Delete

4.97 GB

This file is stored with Xet . It is too big to display, but you can still download it.

Xet Pointer Details

( Raw pointer file )

Xet hash:: c09c2fcaa4501dc8ee6559878af39bac27e2a777a174d7c270aa337b9b76f36c
Size of remote file:: 4.97 GB
SHA256:: 6f13c0e2b1a0861fd9bac9da4d9885b5cc2e831bb794e7301cd1ef9405bc67c2

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.