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

mradermacher's picture

uploaded from marco

7015cb4 verified about 1 month ago

history blame GGUF Editor new delete

4.87 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:: 11346503ce24ad04e424412735a2432a1172f115d99109ad6f14253de9652f41
Pointer size:: 135 Bytes
Size of remote file:: 4.87 GB
Xet hash:: 37775cb4242bca7052ddc83c8eb8864db5c630c38f08556d5d68261bff40c59e

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