mradermacher
/

BFS-Prover-V1-7B-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-V1-7B-GGUF

7.47 GB

1 contributor

History: 4 commits

mradermacher's picture

uploaded from marco

5760134 verified about 1 month ago