Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
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.62k
Text Generation
Safetensors
qwen2
lean4
step-prover
arxiv:
2509.06493
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
1
Copy to bucket
new
main
BFS-Prover-V2-32B
/
vocab.json
RanXinByteDance
Initial commit
d7f9310
12 months ago
Raw
Download with hf CLI
Copy download link
History
Contribute
Delete
Safe
2.78 MB
File too large to display, you can
check the raw version
instead.
