QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q4_K_M.gguf

aashish1904's picture

Upload BFS-Prover.Q4_K_M.gguf with huggingface_hub

af6d1df verified about 1 year ago

history blame GGUF Editor new delete

4.68 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:: 9dc67bbedfd480099bcffb1c5997372bdf5a747cd3f0e5b6405d8be93b273e0f
Size of remote file:: 4.68 GB
SHA256:: e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b

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