tensorblock
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover-Q5_0.gguf

morriszms's picture

Upload folder using huggingface_hub

f260e55 verified 10 months ago

history blame GGUF Editor new delete

5.32 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:: 72a6c567984d1a24d93f3bd78debfa2e8b0b246f2fb61b777cadbc404050e29e
Pointer size:: 135 Bytes
Size of remote file:: 5.32 GB
Xet hash:: de9826faf4cc0a10643f774d007df730aaa734b41c35dfac43bad44f6fba78ed

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