Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

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

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