I am a Stanford EE PhD interested in how theoretical math & statistics can be applied to improve practical AI performance. I am currently working on two LLM research projects: improving position embeddings for increased accuracy in mathematical text generation, and learning individual user preferences for LLM responses.
I enjoy understanding and improving complex systems of all types. I have previously worked as a Graduate Teaching Assistant and volunteered to do data science work for the Stanford Graduate Workers Union. In my spare time, I enjoy climbing and designing custom stickers.
News
-
Apr. 22, 2025. I was selected to participate in the 2025 Rising Stars in Computational and Data Sciences workshop! I gave a presentation on my current research titled From LLMs to LxMs: Foundation Models for Non-Text Data.
-
Mar. 16, 2025. Our paper, Learning Temporal Logic Predicates from Data with Statistical Guarantees was accepted for publication at Learning for Decision and Control 2025.
-
Aug. 20, 2024. Our paper, Satisfiability.jl: Satisfiability Modulo Theories in Julia has been published in the Journal of Open-Source Software!
-
June 25, 2024. I presented a poster: Smooth Path Planning with Temporal Logic Constraints as a Mixed-Integer Linear Program at the 2024 Princeton Workshop on Optimization and Control
-
Dec. 16, 2023. Satisfiability.jl version 0.1.1 has been released! This version includes bugfixes and improvements from the initial release, version 0.1.0.
-
Oct. 18 2023. I built a new website for Lall Group! Check it out: lallgroup.github.io
-
Aug. 27, 2023. Satisfiability.jl version 0.1.0 has been released! This is the first version of my first package, which provides a high-level interface for solving satisfiability problems in Julia.