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.Q4_K_M.gguf

mradermacher's picture

uploaded from marco

0fc5d3a verified about 1 month ago

4.68 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:: 3832f3521d5b4075c21a018890ffbb15e371d047a4b6d2bcbd3854422d78691a
Pointer size:: 135 Bytes
Size of remote file:: 4.68 GB
Xet hash:: fb447c3df4636cd2f538be3b306782683cd48c4971745ee3bed8d22346c049f6

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