Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ByteDance-Seed
/
BFS-Prover-V1-7B
like
25
Follow
ByteDance Seed
2.82k
Text Generation
Transformers
Safetensors
internlm/Lean-Workbook
internlm/Lean-Github
AI-MO/NuminaMath-CoT
English
qwen2
lean4
theorem-proving
formal-mathematics
conversational
text-generation-inference
arxiv:
2502.03438
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
2
Deploy
Use this model
refs/pr/2
BFS-Prover-V1-7B
Commit History
Update README.md
fbe9a86
verified
nielsr
HF Staff
commited on
Oct 14, 2025
Add GitHub repository link to model card
e2a575c
verified
nielsr
HF Staff
commited on
Oct 10, 2025
Update README.md
8c713e1
verified
RanXinByteDance
commited on
Feb 25, 2025
Update README.md
e837c70
verified
RanXinByteDance
commited on
Feb 25, 2025
Update README.md
12cf310
verified
RanXinByteDance
commited on
Feb 25, 2025
Update README.md
1bce9a4
verified
RanXinByteDance
commited on
Feb 25, 2025
Update README.md
8887f34
verified
RanXinByteDance
commited on
Feb 25, 2025
Update README.md
0acf989
verified
RanXinByteDance
commited on
Feb 25, 2025
Update README.md
7f8c37c
verified
RanXinByteDance
commited on
Feb 25, 2025
Update README.md
dd10aca
verified
RanXinByteDance
commited on
Feb 25, 2025
Update README.md
eabba6b
verified
RanXinByteDance
commited on
Feb 25, 2025
Update README.md
538e472
verified
RanXinByteDance
commited on
Feb 25, 2025
Update README.md
610fef2
verified
RanXinByteDance
commited on
Feb 25, 2025
Update README.md
3b8de9f
verified
RanXinByteDance
commited on
Feb 24, 2025
Update README.md
0f55784
verified
RanXinByteDance
commited on
Feb 24, 2025
Update README.md
6923100
verified
RanXinByteDance
commited on
Feb 24, 2025
Update README.md
7f5b53d
verified
RanXinByteDance
commited on
Feb 24, 2025
Update README.md
4974b4c
verified
RanXinByteDance
commited on
Feb 24, 2025
Update README.md
61369f5
verified
RanXinByteDance
commited on
Feb 24, 2025
Update README.md
cb6b8cc
verified
RanXinByteDance
commited on
Feb 24, 2025
Update README.md
b7d5988
verified
RanXinByteDance
commited on
Feb 24, 2025
Update README.md
0d4c8a8
verified
RanXinByteDance
commited on
Feb 24, 2025
Update README.md
8f19cb1
verified
RanXinByteDance
commited on
Feb 23, 2025
Update README.md
e396b93
verified
RanXinByteDance
commited on
Feb 23, 2025
Upload folder using huggingface_hub
36772f8
verified
RanXinByteDance
commited on
Feb 23, 2025
initial commit
59fa046
verified
RanXinByteDance
commited on
Feb 23, 2025
nielsr
HF Staff
commited on
