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 / .gitattributes

Commit History

Upload folder using huggingface_hub
fd7d89c
verified

RanXinByteDance commited on