QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q5_K_M.gguf

aashish1904's picture

Upload BFS-Prover.Q5_K_M.gguf with huggingface_hub

1dae610 verified 10 months ago

history blame GGUF Editor new delete

5.44 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:: fc1435eba4183ed26fdfd78e3df709141ac596b6d0298a0b9855fd03de05b271
Pointer size:: 135 Bytes
Size of remote file:: 5.44 GB
Xet hash:: a8b3eefc1aa7f2f31d409b9c31e804410eb27c5a55be9c4f0a2324df4ee9683a

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