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

mradermacher's picture

uploaded from marco

988f1bc verified about 2 months ago

6.25 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:: 5a5f0000d90ab083b5b068d9445f9e72419b5aa622f5fb7328a6b960390decad
Pointer size:: 135 Bytes
Size of remote file:: 6.25 GB
Xet hash:: e633de3185e7d8787125308f63fa5710d1f7f8971e717418a53a6126cef85c0f

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