mradermacher/BFS-Prover-V1-7B-GGUF: Model from Hugging Face: mradermacher/BFS-Prover-V1-7B-GGUF License: apache-2.0. external Hugging Face metadata. Scan: pending.
Open interactive artifact page