QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q4_0.gguf

aashish1904's picture

Upload BFS-Prover.Q4_0.gguf with huggingface_hub

d32eed3 verified 12 months ago

history blame GGUF Editor new delete

4.43 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:: de96fa34e5f079ba10e22436610fc6c51b1267954ce72f5323283c1b4a0ea5b4
Pointer size:: 135 Bytes
Size of remote file:: 4.43 GB
Xet hash:: c5284dc884616c4cc872911b50e980b6d788418ab6126244e489dbece8cd78bf

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