Ruslans Aleksejevs

Ruslans Aleksejevs is a mathematics PhD student at the University of California, Berkeley. He represented Latvia at the 58th International Mathematical Olympiad (IMO) in 2017 in Rio de Janeiro, earning an Honourable Mention with 10 points. His research interests span topology and the evaluation of AI on university-level mathematics; he is a co-author of QEDBench (arXiv 2602.20629), a benchmark study quantifying the alignment gap in automated evaluation of mathematical proofs, listed under UC Berkeley. At Berkeley he has taught as a graduate student instructor (MATH 1B, MATH 54, MATH 185).

Notes8

• Now at UC Berkeley (Department of Mathematics graduate students listing with berkeley.edu email), i.e. a path from Latvia's olympiad pipeline to a US math PhD.Sep 11, 2026
• Co-author of QEDBench (arXiv 2602.20629), a benchmark quantifying the alignment gap in automated evaluation of university-level math proofs, listed as 'Ruslans Aleksejevs (UC Berkeley)'; places him in the emerging AI-for-mathematics / LLM-proof-evaluation field.Feb 2026
• Represented Latvia at the 58th IMO (2017, Rio de Janeiro), Honourable Mention, 10 points (P1=7, P4=3), ranked 457 of ~615; same Latvian team as Reinis Cirpons and Agnese Upīte, marking him as a top-tier Latvian school mathematician of that cohort.Jul 23, 2017
• OpenReview profile (~Ruslans_Aleksejevs1) identifies him as a PhD student in the UC Berkeley Math Department, evidence he is active in the ML/math reviewing community.
• Taught Berkeley courses as a graduate student instructor: MATH 54 (Fall 2025), MATH 1B (Fall 2024) and MATH 185 (Summer 2026) sections, plus MATH 110 rated on RateMyProfessors (5.0/5, Aug 2025) - a teaching-heavy GSI load typical of early PhD funding.Aug 14, 2025
• Registered participant in the Fields Institute 'Graduate School on Toric Topology' (July 2024), indicating a topology/algebraic-topology research direction at Berkeley.Jul 26, 2024
• GitHub account 'RuslansAleksejevs' surfaced in the same searches as his AI-for-mathematics paper, with repos on prompt curation and 'awesome works that use AI for mathematical'.
• No LinkedIn profile could be matched to him despite targeted searches; the only name-matching LinkedIn accounts are unrelated (a G4S intern, a PayPal compliance investigator, a freelance software engineer), so his public identity here is academic rather than corporate.
• Has a SlidesLive speaker profile (1 recorded presentation) - a scholar who has given a recorded math talk.