Hugging Face's logo

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

Text Generation
Safetensors
qwen2
lean4
step-prover
Model card Files
xet
 Community
1
BFS-Prover-V2-32B

Commit History

  1. Update README.md

    RanXinByteDance
    Verified signature
    02f4d82

  2. Update README.md (#1)⁠

    RanXinByteDance +1: zeyu-zheng
    Verified signature
    49e2f80

  1. Initial commit

    RanXinByteDance
    d7f9310