Hugging Face model: ByteDance-Seed/BFS-Prover-V2-7B
Author: ByteDance-Seed
Created: 2025-10-06 05:22:52
Last modified: 2025-10-09 22:22:39
Pipeline: text-generation
Likes: 7 | Downloads: 968
Tags: safetensors, qwen2, lean4, step-prover, text-generation, conversational, arxiv:2509.06493, base_model:Qwen/Qwen2.5-Math-7B, base_model:finetune:Qwen/Qwen2.5-Math-7B, license:apache-2.0, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen2.5-Math-7B
Card metadata:
license: apache-2.0
base_model: Qwen/Qwen2.5-Math-7B
pipeline_tag: text-generation
tags: lean4, step-prover