Hugging Face's logo

ByteDance-Seed
/
BFS-Prover-V2-7B

Text Generation
Safetensors
qwen2
lean4
step-prover
conversational
Model card Files
xet
Community
1
RanXinByteDance commited on
Commit
533d59f
·
verified ·
1 Parent(s): 765f23b

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -1
README.md CHANGED
@@ -17,7 +17,7 @@ tags:
17
  <a href="https://arxiv.org/abs/2509.06493">
18
  <img src="https://img.shields.io/badge/arXiv-2509.06493-b31b1b.svg?style=flat-square&labelColor=2E5AA8">
19
  </a>
20
- <a href="https://huggingface.co/collections/ByteDance-Seed/bfs-prover-68db961a5fdf9de045440230">
21
  <img src="https://img.shields.io/badge/GitHub-BFS--Prover--V2-808080?&style=flat-square&labelColor=2E5AA8">
22
  </a>
23
  <a href="https://github.com/cmu-l3/llmlean">
 
17
  <a href="https://arxiv.org/abs/2509.06493">
18
  <img src="https://img.shields.io/badge/arXiv-2509.06493-b31b1b.svg?style=flat-square&labelColor=2E5AA8">
19
  </a>
20
+ <a href="https://github.com/ByteDance-Seed/BFS-Prover-V2">
21
  <img src="https://img.shields.io/badge/GitHub-BFS--Prover--V2-808080?&style=flat-square&labelColor=2E5AA8">
22
  </a>
23
  <a href="https://github.com/cmu-l3/llmlean">