QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q3_K_S.gguf

aashish1904's picture

Upload BFS-Prover.Q3_K_S.gguf with huggingface_hub

9a733ae verified about 1 year ago

history blame GGUF Editor new delete

3.49 GB

This file is stored with Xet . It is too big to display, but you can still download it.

Xet Pointer Details

( Raw pointer file )

Xet hash:: c493f012f7150d321517272a76d936918383d08454b56b2ba2cd7b622437587f
Size of remote file:: 3.49 GB
SHA256:: 72369040812f82e4bbe470b0f6c2ef04a6c7f1171d10eb353062e3f427e423e8

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