Hugging Face model: ArtusDev/ByteDance-Seed_BFS-Prover-V2-7B-EXL3
Author: ArtusDev
Created: 2025-10-11 21:22:35
Last modified: 2025-10-13 00:39:55
Pipeline: text-generation
Likes: 0 | Downloads: 8
Tags: lean4, step-prover, exl3, text-generation, base_model:ByteDance-Seed/BFS-Prover-V2-7B, base_model:quantized:ByteDance-Seed/BFS-Prover-V2-7B, license:apache-2.0, region:us
Base model relation: quantized
Base models: id: ByteDance-Seed/BFS-Prover-V2-7B
Card metadata:
base_model: ByteDance-Seed/BFS-Prover-V2-7B
base_model_relation: quantized
quantized_by: ArtusDev
license: apache-2.0
pipeline_tag: text-generation
tags: lean4, step-prover, exl3