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

Atlas / People / Detail

Haiming Wang

Researcher at ByteDance Seed and coauthor of the Seed-Prover technical reports.

Researcher at ByteDance Seed1 organizations2 reports

Profile status: updated

updated 0 public sources

Current frame

Researcher at ByteDance Seed

Organizations

core ByteDance Seed

Reports

Reasoning Models Seed-Prover-1.5: Stronger Training-Time and Test-Time Scaling for Neural Theorem Proving Reasoning Models Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving with Tree Search and Reinforcement Learning