richardyoung
/

bfs-prover-v2-32b

Text Generation

formal-verification

theorem-proving

proof-generation

Model card Files Files and versions

bfs-prover-v2-32b / BFS-Prover-V2-32B-Q4_K_M.gguf

richardyoung's picture

Upload BFS-Prover-V2-32B-Q4_K_M.gguf with huggingface_hub

20360fe verified 19 days ago

history blame GGUF Editor new delete

19.9 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:: 56c9c061542cda7bf19e6ed3775437f0403ae93fc7b742baed0f981558c9b1de
Pointer size:: 136 Bytes
Size of remote file:: 19.9 GB
Xet hash:: 07f521ba4951f74dbb6a4bbdb64953932687d0650fa62879fd510ed944402bda

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