Hugging Face's logo

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

Text Generation
Transformers
Safetensors
English
qwen2
lean4
theorem-proving
formal-mathematics
conversational
text-generation-inference
Model card Files
xet
 Community
2
BFS-Prover-V1-7B

Commit History

Add GitHub repository link to model card (#2)
978c5df
verified

RanXinByteDance nielsr HF Staff commited on

Upload folder using huggingface_hub
36772f8
verified

RanXinByteDance commited on