Hugging Face model: ArtusDev/ByteDance-Seed_BFS-Prover-V2-32B-EXL3
Author: ArtusDev
Created: 2025-10-12 05:36:36
Last modified: 2025-10-13 00:38:47
Pipeline: text-generation
Likes: 0 | Downloads: 0
Tags: lean4, step-prover, exl3, text-generation, base_model:ByteDance-Seed/BFS-Prover-V2-32B, base_model:quantized:ByteDance-Seed/BFS-Prover-V2-32B, license:apache-2.0, region:us
Base model relation: quantized
Base models: id: ByteDance-Seed/BFS-Prover-V2-32B
Card metadata:
base_model: ByteDance-Seed/BFS-Prover-V2-32B
base_model_relation: quantized
quantized_by: ArtusDev
license: apache-2.0
pipeline_tag: text-generation
tags: lean4, step-prover, exl3