mradermacher
/

BFS-Prover-V1-7B-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-V1-7B-GGUF / README.md

Commit History

auto-patch README.md

73ebcc3
verified

mradermacher commited on Oct 15, 2025

auto-patch README.md

115b652
verified

mradermacher commited on Oct 15, 2025

auto-patch README.md

fc491ca
verified

mradermacher commited on Oct 15, 2025

uploaded from marco

d4ec805
verified

mradermacher commited on Oct 15, 2025