QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q5_0.gguf

aashish1904's picture

Upload BFS-Prover.Q5_0.gguf with huggingface_hub

7b252ea verified about 1 year ago

history blame GGUF Editor new delete

5.32 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:: a00126834b861d8bcd94f7800c0428bf9efc7a5ae1124081d225605c2198a841
Size of remote file:: 5.32 GB
SHA256:: 11c5d50bcd9d95d3de1da5147b8c61bebc1cddeea6d5e205e2ba29e26730efb2

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