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

Commit History

  1. Update README.md

    RanXinByteDance
    Verified signature
    533d59f

  2. Update README.md (#1)⁠

    RanXinByteDance +1: zeyu-zheng
    Verified signature
    765f23b

  1. Update README.md

    RanXinByteDance
    Verified signature
    d8a57f6

  2. Upload folder using huggingface_hub

    RanXinByteDance
    Verified signature
    fd7d89c

  3. Update README.md

    RanXinByteDance
    Verified signature
    bc433dd

  4. initial commit

    RanXinByteDance
    Verified signature
    3908c64