Xinrui Li

Pronouns: he/him

Undergrad student, University of California, Berkeley

  • Joined September 2025

Names

Xinrui Li (Preferred)

Emails

****@berkeley.edu (Confirmed)

Personal Links

Career & Education History

Undergrad student
University of California, Berkeley (berkeley.edu)
2022 – 2026
 

Advisors, Relations & Conflicts

No relations added

Expertise

Formal Theorem Proving
Present