Hi!:) I'm an undergrad studying Math and CS at Brown. I hope to build the formal and empirical infrastructure for trustworthy machine learning across two complementary dimensions:
AI4Math and automated reasoning: How can we design models that reason robustly and interpretably, grounded in formal theorem proving and program synthesis? Formal theorem proving [1] [2] and program synthesis [3] [4] are fully specified, unambiguous, machine-checkable substrates for studying models' reasoning processes. Concretely, I'm interested in designing model architectures that leverage various learning paradigms (neurosymbolic programming in particular) to enable more robust and interpretable reasoning, in formal theorem proving and beyond.
Principled evaluation and formal guarantees: How do we substantiate trustworthiness claims about ML systems through systematic evaluation and formal guarantees? I'm interested in designing evaluation and auditing approaches that attach formal or statistical evidence to model properties, from specification conformance and robustness [4] [1] to value alignment [5] and supply-chain provenance. These approaches should generalize across systems, development stages, and deployment contexts.
Below are selected publications; more are available in my CV and Google Scholar (* marks equal contribution).
Outside of research, I work with communities that connect technology with governance and public-interest perspectives: I’m co-organizing the Technology & Science Policy (TASP) Summit at Center for Technological Responsibility (CNTR) and the AI Auditing in Practice working group at Data Science Initiative (DSI); previously, I was co-president of Brown’s AI Robotics Ethics Society (AIRES) and co-director of the AI Governance Panel at Brown China Summit 2025.
Misc: I enjoy cold brew, archery, roaming around the neighborhoods and community spaces I'm involved in 🏘️🌳, and the Rock's basement stacks -- send me book recs!