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.Q4_K_S.gguf

mradermacher's picture

uploaded from nico1

e74420f verified about 1 month ago

history blame GGUF Editor new delete

4.8 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:: 62fd7aad4ee002edcb3bc1a996957bcc709b74c15669e0d7a06577958d013b69
Size of remote file:: 4.8 GB
SHA256:: fec325ae2c9baca7d24929cd19e562015533c16690f04f0b6aeff42ddd688d35

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