News.

Recent News

• [Feb 2026] We released two papers: TorchLean: Formalizing Neural Networks in Lean and BRIDGE: Building Representations In Domain Guided Program Verification.
• [December 2025] Will be presenting two papers at the AI4Math workshop at NeurIPS.
• [November 2025] Presented my work on Program Verification at the AI4Science Conference at Caltech.
• [October 2025] Presented my work on Neural Operators at the Inaugral AI Research Symposium at Jump Trading in NYC.
• [October 2025] Attended the Formal Methods x AI Workshop at SRI International and Stanford.
• [September 2025] Gave a talk on my final Internship Project ie Program Verification using Lean at Amazon.
• [July 2025] Gave a talk on Neural Operators at FirstPrinciples.
• [May 2025] Invited to attend the Algorithmic stability: Mathematical foundations for the modern era Workshop at the American Institute of Mathematics, Caltech.
• [April 2025] Gave a talk at the Autoformalization for the Working Mathematician workshop at ICERM. Talk here:Slides+Video
• [April 2025] Attended the Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Math and TCS.
• [March 2025] Accepted to work as a Research Scientist at Amazon in NYC this summer with the Reinformcement Learning + Automated Reasoning Teams.
• [January 2025] LeanAgent has been accepted to ICLR 2025 in Singapore. See you all there.
• [December 2024] Attended NeurIPS in Vancouver and presented a workshop paper and main conference paper.
• [November 2024] Attended the Deep Learning for Mathematics workshop at UCLA.
• [October 2024] Invited as a speaker to give a talk on Neural Operators: Machine Learning in Function spaces at NASA JPL. Slides here: JPL.
  
• [October 2024] Attending the Mathematics of Deep Learning Workshop at the Institute for Mathematics and its Applications (UCLA).
  
• [August 2024] Research updates: iFNO got accepted at TMLR, and CoDA-NO got accepted at NeurIPS.
  
• [July 2024] Attending the University of Michigan for a summer school on Foundational models for science.
  
• [July 2024] Attending University of Chicago as a AI4Science Summer School Fellow.
  
• [April 2024] Passed my qualification exams.
• [December 2023] Attending NeurIPS in New Orleans.
• [September 2023] Starting my PhD at Caltech with a full fellowship.
• [July 2023] Graduated with First Class Honors from the University of Alberta with the Dean’s Silver Medal in Science.
• [May 2023] Defended my 2nd Honors Thesis on Hybrid Dealiasing of Convolutions.
• [August 2023] Scholar program at Google AI.
• [June 2022] Summer school at Carnegie Mellon University in the Mathematics and Philosophy Department.
• [August 2022] Internship at Amii + RLAI Lab as a Research Intern.
• [May 2022] Defended my 1st Honors Thesis on Quasi-Linear PDEs.
• [May 2021] Internship at Microsoft + MSR as a Data Science Intern.
• [May 2020] Started the Google Developer Club and ACM Student Chapter at the University of Alberta.
• [September 2019] Started my Honors B.Sc in Math & CS at the University of Alberta.