Model: ByteDance-Seed/BFS-Prover-V2-7B
Author: ByteDance-Seed
Pipeline: text-generation
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 models (finetune): 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
Likes: 6 | All-time downloads: 1261
Created: 2025-10-06 05:22:52