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.32k
Text Generation
Safetensors
qwen2
lean4
step-prover
conversational
arxiv:
2509.06493
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
1
Copy to bucket
new
refs/pr/1
BFS-Prover-V2-7B
Commit History
Update README.md
f86aa4d
verified
zeyu-zheng
commited on
Oct 9, 2025
Update README.md
d8a57f6
verified
RanXinByteDance
commited on
Oct 6, 2025
Upload folder using huggingface_hub
fd7d89c
verified
RanXinByteDance
commited on
Oct 6, 2025
Update README.md
bc433dd
verified
RanXinByteDance
commited on
Oct 6, 2025
initial commit
3908c64
verified
RanXinByteDance
commited on
Oct 6, 2025
RanXinByteDance commited on 
