QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q6_K.gguf

aashish1904's picture

Upload BFS-Prover.Q6_K.gguf with huggingface_hub

fea5fe0 verified about 1 year ago

history blame GGUF Editor new delete

6.25 GB

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

Xet Pointer Details

( Raw pointer file )

Xet hash:: cf631cbb9642b1edb531158cb0aa99bf2e0528e5276da019cd152b3910d209c3
Size of remote file:: 6.25 GB
SHA256:: 1ec953969f2ba9ed3c1d83178829af666fe4feb757b44571e7ddaad1312f6fd5

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