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

mradermacher's picture

uploaded from nico1

215a909 verified about 1 month ago

history blame GGUF Editor new delete

5.85 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:: d49be10f9767a46fe796917633016bd780717fbc7b7c1f3cd2fceeb033a0ab36
Size of remote file:: 5.85 GB
SHA256:: 9e2fd4bbeef9ae5f72a66b968f1816e2665237d0738e5fbfd68939d543319e68

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