QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q3_K_M.gguf

aashish1904's picture

Upload BFS-Prover.Q3_K_M.gguf with huggingface_hub

5c8997c verified about 1 year ago

history blame GGUF Editor new delete

3.81 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:: 095bc0a4190e22a68f6ef69ea50fcff4d82e9e24c54c43e6134bf9724cc6e84a
Size of remote file:: 3.81 GB
SHA256:: fd78bdf1245fd2228d9dabb184d8ce82222454e9c215544f56aee8de487c3f7d

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