QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q4_1.gguf

aashish1904's picture

Upload BFS-Prover.Q4_1.gguf with huggingface_hub

644dfe7 verified about 1 year ago

history blame GGUF Editor new delete

4.87 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:: 4aa4aed2d351b7af4f45ccf71abf7b306ee056ac6921c5cd4ccb9af93d80ab67
Pointer size:: 135 Bytes
Size of remote file:: 4.87 GB
Xet hash:: f47018771c80994ba98e8587a3964eec70e078d0dc9c7aaa1cf426683ebe6b66

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