Hugging Face model: ByteDance-Seed/BFS-Prover-V1-7B
Author: ByteDance-Seed
Created: 2025-02-23 23:11:13
Last modified: 2025-10-14 22:12:43
Pipeline: text-generation
Library: transformers
Likes: 26 | Downloads: 97
Tags: transformers, safetensors, qwen2, text-generation, lean4, theorem-proving, formal-mathematics, conversational, en, dataset:internlm/Lean-Workbook, dataset:internlm/Lean-Github, dataset:AI-MO/NuminaMath-CoT, arxiv:2502.03438, base_model:Qwen/Qwen2.5-Math-7B, base_model:finetune:Qwen/Qwen2.5-Math-7B, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen2.5-Math-7B
Card metadata:
base_model: Qwen/Qwen2.5-Math-7B
datasets: internlm/Lean-Workbook, internlm/Lean-Github, AI-MO/NuminaMath-CoT
language: en
library_name: transformers
license: apache-2.0
pipeline_tag: text-generation
tags: lean4, theorem-proving, formal-mathematics