Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
Paper
• 2512.17260 • Published
• 52
Zeyu Zheng
zeyu-zheng
·
AI & ML interests
None yet
Recent Activity
authored
a paper
24 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
authored a paper 24 days ago
authored a paper 5 months ago