tensorblock
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

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

morriszms's picture

Upload folder using huggingface_hub

f260e55 verified 10 months 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.

Large File Pointer Details

( Raw pointer file )

SHA256:: 1dd809f6fd16abc101b2ea831330d0ce1f1e8db5473fb318e70f30fa48a7a607
Pointer size:: 135 Bytes
Size of remote file:: 6.25 GB
Xet hash:: f98fbb6c6a0b77ab80a93244d01c229c933ae9ad78cfc88983d3b7cd31a53174

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