Hugging Face model: ByteDance-Seed/BFS-Prover-V2-32B
Author: ByteDance-Seed
Created: 2025-09-30 00:05:39
Last modified: 2025-10-09 22:21:27
Pipeline: text-generation
Likes: 13 | Downloads: 69
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 model relation: finetune
Base models: 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