Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ByteDance-Seed
/
BFS-Prover-V2-32B
like
11
Follow
ByteDance Seed
2.77k
Text Generation
Safetensors
qwen2
lean4
step-prover
arxiv:
2509.06493
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
1
Update README.md
#1
by
zeyu-zheng
- opened
Oct 9, 2025
base:
refs/heads/main
←
from:
refs/pr/1
Discussion
Files changed
+44
-21
zeyu-zheng
Oct 9, 2025
No description provided.
Update README.md
68c06262
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
