Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
BFS-Prover-GGUF / BFS-Prover.IQ4_XS.gguf
mradermacher's picture
uploaded from rich1
42424fa verified
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:
bad40d7a420d4c541c0ec2dbc3f30423a9cab8cad3beee657ab041e3e11ca5b6
Pointer size:
135 Bytes
·
Size of remote file:
4.25 GB
·
Xet backed hash:
40e9a32b7f9e7bc94eff80bc8e90a971e06baf49c7e98b438fbadb5ef57f7db1

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