Model: ByteDance-Seed/BFS-Prover-V2-32B
Author: ByteDance-Seed
Pipeline: text-generation
Tags: safetensors, qwen2, lean4, step-prover, text-generation, arxiv:2509.06493, base_model:Qwen/Qwen2.5-32B, base_model:finetune:Qwen/Qwen2.5-32B, license:apache-2.0, region:us
Base models (finetune): id: Qwen/Qwen2.5-32B
Card metadata: license: apache-2.0
base_model: Qwen/Qwen2.5-32B
pipeline_tag: text-generation
tags: lean4, step-prover
Likes: 11 | All-time downloads: 758
Created: 2025-09-30 00:05:39