ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated
• 116 • 6
Zeyu Zheng
zeyu-zheng
·
AI & ML interests
None yet
Recent Activity
authored
a paper
21 days ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience liked
a model 5 months ago
ByteDance-Seed/BFS-Prover-V2-7B upvoted a collection 5 months ago
BFS-Prover Organizations
None yet
liked 2 models 5 months ago