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

mradermacher's picture

uploaded from nico1

2ef6290 verified about 1 month ago

history blame GGUF Editor new delete

4.12 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:: 19540894b14c70de65891c8d39fe03dec9fbbf0f9abbaba4f5d87952c46d5fb3
Size of remote file:: 4.12 GB
SHA256:: 0d02f3d474adfa259da5207ee63827b39357a675d5052e18b6ffbc9718441868

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