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

mradermacher's picture

uploaded from marco

6163600 verified about 2 months ago

4.09 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:: fc65904b8c37fc05c934329a59bdcbb6bb76b244b885b350682bd689d9f23cd9
Pointer size:: 135 Bytes
Size of remote file:: 4.09 GB
Xet hash:: 415f288684f01c6a96c16564944b8fd75e6714f8e7fc258261ea3330b9fb563a

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