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

richardyoung's picture

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

71e8b0d verified about 2 months ago

history blame GGUF Editor new delete

23.3 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:: 43412fbf81b2c0a3dcd43f705240d4c5d8998ef2ed6f7c6d631f569c533a308a
Pointer size:: 136 Bytes
Size of remote file:: 23.3 GB
Xet hash:: 7373571656b2b5613f822c6acbb76818e370da797c6c0eaecf6531d80a9e840d

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