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

mradermacher's picture

uploaded from marco

5760134 verified about 1 month ago

history blame GGUF Editor new delete

4.46 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:: 92552d4a87c840441af9ae1bbfd80de39491716d0416fc9fc9a393362bf1dd02
Pointer size:: 135 Bytes
Size of remote file:: 4.46 GB
Xet hash:: 19c7b6b7dd1b450b639f95eb4e2794f7179352f19f9fe133b42ed9c8e571a5f4

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