tensorblock
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF

Commit History

Update README.md

c92d8c3
verified

morriszms commited on Jul 9, 2025

Update README.md

7dd2948
verified

morriszms commited on Jun 19, 2025

Update README.md

c3ca647
verified

morriszms commited on Apr 21, 2025

Upload folder using huggingface_hub

f260e55
verified

morriszms commited on Mar 6, 2025

initial commit

a1ab4ff
verified

morriszms commited on Mar 6, 2025