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

mradermacher's picture

uploaded from nico1

cc6740e verified about 1 month ago

history blame GGUF Editor new delete

3.28 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:: 059523737de2f44e3bac4673bbf51cc069ae423d765b75f39f518d1478b5b8a4
Size of remote file:: 3.28 GB
SHA256:: 1f0c76620a071bac1f5cd4974a3fe0ecf3f346b8d35f7bbe2e49d8ee4d274e94

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