mradermacher
/

BFS-Prover-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions Community

BFS-Prover-GGUF / README.md

mradermacher's picture

uploaded from rich1

9a052bc verified about 1 month ago

|

219 Bytes

static quants of https://huggingface.co/bytedance-research/BFS-Prover