QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF / BFS-Prover.Q5_1.gguf

aashish1904's picture

Upload BFS-Prover.Q5_1.gguf with huggingface_hub

054697a verified about 1 year ago

history blame GGUF Editor new delete

5.76 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:: 1033abf813c1b614bcacf0bf3069314977085a64cb9c301fff0740165264f6aa
Size of remote file:: 5.76 GB
SHA256:: 64294b281f546e1935ad02e9428040ddd962e5eaf8dea7d1d0bde1ececcdfe45

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