mradermacher
/

BFS-Prover-V1-7B-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-V1-7B-GGUF / BFS-Prover-V1-7B.IQ4_XS.gguf

mradermacher's picture

uploaded from marco

665fede verified about 1 month ago

history blame GGUF Editor new delete

4.25 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:: cbdeea94a4b671e292c5d85b5c697e36c1d69f0a8092c466f08c46e35c5cf6c0
Pointer size:: 135 Bytes
Size of remote file:: 4.25 GB
Xet hash:: 1fce1b6b743ffbb084a70ecbd01a49c65392fd9157e4adc3782ce08c9c909d1f

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