QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q3_K_L.gguf

aashish1904's picture

Upload BFS-Prover.Q3_K_L.gguf with huggingface_hub

9c548f9 verified 10 months ago

history blame GGUF Editor new delete

4.09 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:: 07063ba9f2a4a33559fc9b94d1684774cacfd71d667ad10eff0a6758e1467889
Pointer size:: 135 Bytes
Size of remote file:: 4.09 GB
Xet hash:: 125c7e3ec665c11718257698b31ae6eeeeddef9c18ed925b50c3916c72b727ad

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