Hugging Face's logo

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

Text Generation
Safetensors
qwen2
lean4
step-prover
conversational
Model card Files
xet
Community
1
BFS-Prover-V2-7B
5.36 kB
  • 2 contributors
 History: 2 commits
RanXinByteDance's picture
RanXinByteDance
Update README.md
bc433dd verified