Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
ByteDance-Seed
/
BFS-Prover-V2-7B
like
7
Follow
ByteDance Seed
3.41k
Text Generation
Safetensors
qwen2
lean4
step-prover
conversational
arxiv:
2509.06493
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
1
Deploy
Copy to bucket
new
Use this model
Instructions to use ByteDance-Seed/BFS-Prover-V2-7B with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
Inference
Inference Providers
Update README.md
#1
by
zeyu-zheng
- opened
Oct 9, 2025
base:
refs/heads/main
←
from:
refs/pr/1
Discussion
Files changed
+46
-23
zeyu-zheng
Oct 9, 2025
No description provided.
Update README.md
f86aa4d2
RanXinByteDance
changed pull request status to
merged
Oct 9, 2025
Edit
Preview
Upload images, audio, and videos by dragging in the text input, pasting, or
clicking here
.
Tap or paste here to upload images
Comment
·
Sign up
or
log in
to comment
