Home People Organizations Reports Fields Schools

Public Atlas People first, reports as evidence, organizations as context.

Atlas / Reports / Detail

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving with Tree Search and Reinforcement Learning

Reasoning Models report from ByteDance Inc. with 1 connected researcher in the LLMpeople atlas.

ByteDance Inc.2025-07-301 researchers

Field: Reasoning Models
Organization: ByteDance Inc.
arXiv: 2507.23726

Canonical link

https://arxiv.org/abs/2507.23726

Connected researchers

Researcher 3 reports

Yue Zhang

ByteDance Seed

Yue Zhang is publicly associated with ByteDance through a Google Scholar profile with a verified bytedance.com email and listed interests in artificial intelligence, natural language processing, and large language models. Official ByteDance Seed and arXiv publication pages list Yue Zhang as a coauthor on Seed1.5-Thinking and Seed-Prover in 2025.

LLMpeople is a public atlas for discovering frontier AI researchers with context, provenance, and respect.

Privacy · Terms