mradermacher
/

Goedel-Code-Prover-8B-GGUF

theorem-proving

code-verification

Model card Files Files and versions

Goedel-Code-Prover-8B-GGUF / Goedel-Code-Prover-8B.f16.gguf

mradermacher's picture

uploaded from nico1

bcadfcc verified 29 days ago

history blame GGUF Editor new delete

16.4 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:: 4953d9d91213053cd283535443de671df8f541daba17b0d39a0544ae3018654a
Size of remote file:: 16.4 GB
SHA256:: eb18c361b1dbdb710bc4308cfbb29b3b2094fa727d95416b4ef47060454e8dfa

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