Gave a YC Paper Club talk on Lean and verified intelligence. Video

TorchLean was selected as a Spotlight paper at the ICML 2026 AI4Math Workshop.

New AI4Math papers include BRIDGE and ITPEval.

Won the Harmonic AI Fellowship with my advisor for verification of scientific computing.

Grateful to have won the AI+Math DARPA fund with my advisor and Sergei Gukov.

We released two papers: TorchLean: Formalizing Neural Networks in Lean and BRIDGE: Building Representations in Domain-Guided Verified Program Synthesis.

Presented two papers at the AI4Math workshop at NeurIPS.

Presented my work on Program Verification at the AI4Science Conference at Caltech.

Presented my work on AI4Science at the Inaugural AI Research Symposium at Jump Trading in NYC.

Attended the Formal Methods x AI Workshop at SRI International and Stanford.

Gave a talk at Amazon on my final internship project, Program Verification using Lean.

Gave a talk on AI4Science at FirstPrinciples.

Invited to attend the Algorithmic stability: Mathematical foundations for the modern era Workshop at the American Institute of Mathematics, Caltech.

Gave a talk at the Autoformalization for the Working Mathematician workshop at ICERM. Slides and video

Attended the Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Math and TCS.

Accepted to work as a Research Scientist at Amazon in NYC this summer with the Reinforcement Learning + Automated Reasoning Teams.

LeanAgent was accepted to ICLR 2025 in Singapore.

Attended NeurIPS in Vancouver and presented a workshop paper and main conference paper.

Attended the Deep Learning for Mathematics workshop at UCLA.

Invited as a speaker to give a talk on AI4Science: Machine Learning in Function Spaces at NASA JPL. Slides

Attended the Mathematics of Deep Learning Workshop at the Institute for Mathematics and its Applications.

Research updates: iFNO got accepted at TMLR, and CoDA-NO got accepted at NeurIPS.

Attended the University of Michigan for a summer school on foundation models for science.

Attended the University of Chicago as an AI4Science Summer School Fellow.

Passed my qualification exams.

Attended NeurIPS in New Orleans.

Started my Ph.D. at Caltech with a full fellowship.

Scholar program at Google AI.

Graduated with First Class Honors from the University of Alberta with the Dean's Silver Medal in Science.

Defended my second honors thesis on Hybrid Dealiasing of Convolutions.

Internship at Amii + RLAI Lab as a Research Intern.

Summer school at Carnegie Mellon University in the Mathematics and Philosophy Department.

Defended my first honors thesis on Quasi-Linear PDEs.

Internship at Microsoft + MSR as a Data Science Intern.

Started the Google Developer Club and ACM Student Chapter at the University of Alberta.

Started my Honors B.Sc. in Math & CS at the University of Alberta.