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-32B
like
13
Follow
ByteDance Seed
3.33k
Text Generation
Safetensors
qwen2
lean4
step-prover
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-32B with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
Inference
Inference Providers
refs/pr/1
BFS-Prover-V2-32B
Commit History
Update README.md
68c0626
verified
zeyu-zheng
commited on
Oct 9, 2025
Initial commit
d7f9310
RanXinByteDance
commited on
Sep 30, 2025
zeyu-zheng commited on 
