Atlas / Reports / Detail
Seed-Prover-1.5: Stronger Training-Time and Test-Time Scaling for Neural Theorem Proving
Reasoning Models report from ByteDance Seed with 7 connected researchers in the LLMpeople atlas.
Connected researchers
Researcher
2 reports
Haiming Wang
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover technical reports.
Researcher
2 reports
Tianlong Zhang
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover technical reports.
Researcher
2 reports
Yizhong Wang
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover technical reports.
Researcher
3 reports
Yue Zhang
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover technical reports.
Researcher
2 reports
Xiaodan Liang
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover technical reports.
Researcher
1 reports
Qiang Lu
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover-1.5 technical report.
Researcher
1 reports
Jingyang Yuan
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover-1.5 technical report.