About me

Hi! I’m Chenrui Wei (魏陈锐), a researcher at ByteDance Seed specializing in AI for math reasoning. My passion for artificial intelligence was sparked by real-world industrial challenges. I am committed to advancing the field and working toward the long-term goal of human-level or even superintelligence.

Our recent work, Seed Prover, is a formal reasoning system that achieved a silver-medal score on the IMO 2025 and set new state-of-the-art results across all formal reasoning benchmarks (news). I mainly worked on test-time inference scaling and data augmentation strategies.

Publications

1. ByteDance Seed AI4Math, “Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving.” Technical report. arXiv:2507.23726

2. Chenrui Wei, Mengzhou Sun, Wei Wang, “Proving Olympiad Algebraic Inequalities without Human Demonstrations.” Accepted by NeurIPS 2024. arXiv:2406.14219.

3. Wei Li and Chen-Rui Wei, “On the Partial Differential Lüroth’s Theorem.” Journal of Algebra. https://doi.org/10.1016/j.jalgebra.2023.03.036. (Authors listed in alphabetical order by last name)