QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q4_K_S.gguf

aashish1904's picture

Upload BFS-Prover.Q4_K_S.gguf with huggingface_hub

f5a3bc6 verified 10 months ago

history blame GGUF Editor new delete

4.46 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:: e0d9939bf8ba9ea553914a6f5386a6352e7754acb0854a33e56ae1586219c4fa
Pointer size:: 135 Bytes
Size of remote file:: 4.46 GB
Xet hash:: 5ecdc461a5fc288d077d4e9d03075527dc4887d7dd73f4047cf27f44aa323606

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