mradermacher
/

BFS-Prover-V1-7B-i1-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-V1-7B-i1-GGUF / BFS-Prover-V1-7B.i1-Q4_K_S.gguf

mradermacher's picture

uploaded from marco

1c6aac8 verified about 2 months ago

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:: 1742adaeb89df49c9165ff26ca933c89ecc4796db846752adc9af60faff81ba2
Pointer size:: 135 Bytes
Size of remote file:: 4.46 GB
Xet hash:: 9d47f76a8a826b9f56dbe2f7cd4ee688efd426f0f4d118165b314a6a99d179c8

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