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

mradermacher's picture

uploaded from marco

891afdd verified about 1 month ago

history blame GGUF Editor new delete

3.35 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:: 1e220108351beabd630bad16e3e3e8954435c56f4306e7310dc457209512dc23
Pointer size:: 135 Bytes
Size of remote file:: 3.35 GB
Xet hash:: 9cfc78010c3abffd12609c38d6f6b0de5116acdc09fcd4363cb22848c875570d

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