QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q5_K_S.gguf

aashish1904's picture

Upload BFS-Prover.Q5_K_S.gguf with huggingface_hub

923bbe7 verified 12 months 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.

Large File Pointer Details

( Raw pointer file )

SHA256:: 1e0de59dbb7d04806c345a562a164d4c873ca3564745dafe3d1623f2666abeb5
Pointer size:: 135 Bytes
Size of remote file:: 5.32 GB
Xet hash:: e3c67c92a4938925a86fc12bbb7ea6d68034a5f820fd9f4e376982ff68eb3512

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