mradermacher
/

BFS-Prover-V1-7B-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-V1-7B-GGUF / BFS-Prover-V1-7B.f16.gguf

mradermacher's picture

uploaded from marco

a30f178 verified about 1 month ago

history blame GGUF Editor new delete

15.2 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:: 21be5627459847e119f42bfb186dde1b5b7600e8e5817bc7bf53b0441743dfca
Pointer size:: 136 Bytes
Size of remote file:: 15.2 GB
Xet hash:: 0e735ea05a231b519152650b2dd280a06f71bf13d331f6b255a772bb88fae5a8

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