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

mradermacher's picture

uploaded from marco

fd0a4e4 verified about 2 months ago

3.81 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:: 4f9e2d6f0113ce51ae6cf32cf8e4481b847f2d464b33bd125b11604b00e3558d
Pointer size:: 135 Bytes
Size of remote file:: 3.81 GB
Xet hash:: 54ae495874864289f0411d3246705eb9999674c0c74c419c6eb1383186e732d1

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