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

Atlas / Reports / Detail

Seed-Prover-1.5: Stronger Training-Time and Test-Time Scaling for Neural Theorem Proving

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

ByteDance Inc.2025-12-191 researchers

Connected researchers

Yue Zhang portrait
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.

ByteDance Seed