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

mradermacher's picture

uploaded from nico1

2899d2a verified about 1 month ago

history blame GGUF Editor new delete

5.72 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:: 4ef9d13203d1fa2dda3b4aa96143d1ca6e9cf25189c0a3e76f727dc0a72fdfd1
Size of remote file:: 5.72 GB
SHA256:: e221edd7a12f044fff1ef94628813296abfc58cfefd53e3f53f918e13c03d02c

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