Shurui Liu

PhD student, Mathematics, Stanford University

Joined

January 2026

Names

Shurui Liu (Preferred)

Emails

****@stanford.edu (Confirmed)

,

****@gmail.com (Confirmed)

Personal Links

Career & Education History

PhD student

Mathematics, Stanford University (stanford.edu)

2022 – 2027

Undergrad student

Mathematics, Peking University (pku.edu.cn)

2018 – 2022

Advisors, Relations & Conflicts

PhD Advisor

2022 – 2027

Coauthor

Zeyu Wang

2025 – 2026

Expertise

Agentic AI

2026 – Present

AI for math

2025 – Present

Alegebraic number theory and geometric representation theory

2022 – Present

Publications

VeriBench: An End-to-End Formal Verification Benchmark for AI Coding Agents in Lean 4
Brando Miranda, Srivatsava Daruru, Ethan S Hersch, Zhanke Zhou, Allen Nie, Daneshvar Amrollahi, Leni Aniva, Iddah Mlauzi, Kirill Acharya, Elyas Obbad, Dilara Soylu, Weston Kirk, Zixiao Jolene Wang, Kai Fronsdal, Ying Li, Donald Poindexter Jr, Rakshit Kaushik, Shurui Liu, Yegor Denisov-Blanch, Steven Dillmann et al. (8 additional authors not shown)
- ICML 2026 AI4Math Workshop Poster
- Readers: Everyone
VeriBench: An End-to-End Formal Verification Benchmark for AI Coding Agents in Lean 4
Brando Miranda, Srivatsava Daruru, Ethan S Hersch, Zhanke Zhou, Allen Nie, Daneshvar Amrollahi, Leni Aniva, Iddah Mlauzi, Kirill Acharya, Elyas Obbad, Dilara Soylu, Weston Kirk, Zixiao Jolene Wang, Kai Fronsdal, Ying Li, Donald Poindexter Jr, Rakshit Kaushik, Shurui Liu, Yegor Denisov-Blanch, Steven Dillmann et al. (8 additional authors not shown)
- ICML 2026 Workshop DL4C Poster
- Readers: Everyone

Co-Authors

View all 27 co-authors