BFS-Prover-V1-7B-i1-GGUF
mradermacher/BFS-Prover-V1-7B-i1-GGUF
- kind
- gguf
- quant
- gguf (1-bit)
- family
- misc
- modality
- —
- root model
- ByteDance-Seed/BFS-Prover-V1-7B
- provider
- mradermacher
- license
- apache-2.0
- language
- en
- context
- —
- library
- transformers
- vRAM (GB)
- —
- size on disk
- —
- downloads
- 991
- likes
- 0
- created
- —
- last modified
- 2025-12-10T08:00:46+00:00 (2025)
- huggingface
- https://huggingface.co/mradermacher/BFS-Prover-V1-7B-i1-GGUF
- tags
- transformersgguflean4theorem-provingformal-mathematicsendataset:internlm/Lean-Workbookdataset:internlm/Lean-Githubdataset:AI-MO/NuminaMath-CoTbase_model:ByteDance-Seed/BFS-Prover-V1-7Bbase_model:quantized:ByteDance-Seed/BFS-Prover-V1-7Blicense:apache-2.0endpoints_compatibleregion:usimatrixconversational
Benchmark scores (0)
no scores extracted for this variant.
Discussions (0)
none scraped.