QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q8_0.gguf

aashish1904's picture

Upload BFS-Prover.Q8_0.gguf with huggingface_hub

64d526f verified 12 months ago

history blame GGUF Editor new delete

8.1 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:: 343089e3f8134aa8afd61a77061a86a2390653eab920dcf11a04b8d503e9098e
Pointer size:: 135 Bytes
Size of remote file:: 8.1 GB
Xet hash:: 7c0c57872c040b9992e2f8b7862a6ae8881bf989b93418bde46ee5e66b74da9a

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