QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q2_K.gguf

aashish1904's picture

Upload BFS-Prover.Q2_K.gguf with huggingface_hub

b73267d verified 10 months ago

history blame GGUF Editor new delete

3.02 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:: c6a895ba95fc84b358c05c9192817dfc5e664802e7d2cb33cdc417a0109c8b7e
Pointer size:: 135 Bytes
Size of remote file:: 3.02 GB
Xet hash:: a3c78e04d012a226c585bceef3357cd1d52c42d98796b2ead736b40bf26fb5ef

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