tensorblock
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

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

morriszms's picture

Upload folder using huggingface_hub

f260e55 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:: 67140652c0f04fac48aa4bccf7885af0ab4faf5bf6d423a980283cf7146730cd
Size of remote file:: 3.81 GB
SHA256:: 73332c65a6d5b475b17e0898cbc48620d5cb92349e7e7d2b84ce4233b62a2910

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