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

mradermacher's picture

uploaded from marco

dc308c1 verified about 1 month ago

history blame GGUF Editor new delete

4.44 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:: 73749cade8af95bc4b28b3a6e2489d45ab8ee16eed18ee431da65955aed76519
Pointer size:: 135 Bytes
Size of remote file:: 4.44 GB
Xet hash:: 8ef01908cd6b7def6470a2ed253ab198b81383cc142718c17c7830dcfbf4fbea

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