Atlas / Reports / Detail
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving with Tree Search and Reinforcement Learning
Reasoning Models report from ByteDance Seed with 9 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
1 reports
Xutao Sun
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover technical report.
Researcher
2 reports
Yizhong Wang
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover technical reports.
Researcher
1 reports
Chunxiao Li
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover technical report.
Researcher
1 reports
Xi Chen
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover technical report.
Researcher
3 reports
Yue Zhang
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover technical reports.
Researcher
1 reports
Rongzheng Lin
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover technical report.
Researcher
2 reports
Xiaodan Liang
ByteDance Seed
Researcher at ByteDance Seed and coauthor of the Seed-Prover technical reports.