Text Generation
Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
BFS-Prover-GGUF / BFS-Prover.Q5_K_S.gguf
aashish1904's picture
Upload BFS-Prover.Q5_K_S.gguf with huggingface_hub
923bbe7 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:
1e0de59dbb7d04806c345a562a164d4c873ca3564745dafe3d1623f2666abeb5
Pointer size:
135 Bytes
·
Size of remote file:
5.32 GB
·
Xet hash:
e3c67c92a4938925a86fc12bbb7ea6d68034a5f820fd9f4e376982ff68eb3512

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