mradermacher
/

BFS-Prover-V1-7B-i1-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-V1-7B-i1-GGUF / BFS-Prover-V1-7B.i1-Q3_K_S.gguf

mradermacher's picture

uploaded from marco

69c8296 verified about 2 months ago

history blame GGUF Editor new delete

3.49 GB

This file is stored with Xet . It is too big to display, but you can still download it.

Large File Pointer Details

( Raw pointer file )

SHA256:: dde0010cef815ba0fe7ad8150a317ac373219c4813b30a025224bafab751dd9a
Pointer size:: 135 Bytes
Size of remote file:: 3.49 GB
Xet hash:: a5ea24e2eacaa121a3ca224fa4d554e86e16e08bda50f7df719f20bd7b6b6f80

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