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

mradermacher's picture

uploaded from nico1

50f8500 verified about 1 month ago

history blame GGUF Editor new delete

4.43 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:: 9956f623d0494985fa9209f1107578f32af7f06d0a835934332ea460acb714f6
Size of remote file:: 4.43 GB
SHA256:: aece888ff6a85a7deebd6c8579f1ccbd0ec5a306bf5d4680fa983d86e0c8b3e3

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