Model: ArtusDev/ByteDance-Seed_BFS-Prover-V2-7B-EXL3
Author: ArtusDev
Pipeline: text-generation
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 models (quantized): 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
Likes: 0 | All-time downloads: 15
Created: 2025-10-11 21:22:35