mradermacher
/

BFS-Prover-V1-7B-i1-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-V1-7B-i1-GGUF

Commit History

uploaded from marco

868e7a6
verified

mradermacher commited on Oct 15

uploaded from marco

61c96d2
verified

mradermacher commited on Oct 15

uploaded from marco

484d2cc
verified

mradermacher commited on Oct 15

uploaded from marco

a47f072
verified

mradermacher commited on Oct 15

uploaded from marco

2c6c3f0
verified

mradermacher commited on Oct 15

uploaded from marco

b4b4f70
verified

mradermacher commited on Oct 15

uploaded from marco

314abbf
verified

mradermacher commited on Oct 15

uploaded from marco

fd0a4e4
verified

mradermacher commited on Oct 15

uploaded from marco

1c6aac8
verified

mradermacher commited on Oct 15

uploaded from marco

3d96d70
verified

mradermacher commited on Oct 15

uploaded from marco

7fde3ca
verified

mradermacher commited on Oct 15

uploaded from marco

b4bac14
verified

mradermacher commited on Oct 15

uploaded from marco

6d1fe49
verified

mradermacher commited on Oct 15

initial commit

d747bf1
verified

mradermacher commited on Oct 15