Talks.

Talks / Presentations

Note: Conference/Workshop talks haven't been included in this list.

  • Verified Mathematical Reasoning with Lean and Language Models, ICERM, Brown University 2025. Talk here: Slides+Video
  • Machine Learning in Function Spaces, NASA JPL, 2024. Slides here: JPL
  • Foundational Models for PDEs, Scientific Foundation Models, University of Michigan, 2024.
  • Foundational Models for PDEs, Multi University Research Institute, Caltech, 2024.
  • CoDomain Attention Neural Operator, AI+Science, University of Chicago, 2024.
  • Summer School in Logic and Formal Epistemology, Carnegie Mellon University, 2022.
  • International Undergraduate Summer Enrichment Program, University of Alberta, 2021.
  • Alberta Number Theory Days XIII, Banff International Research Station for Mathematical Innovation and Discovery, 2021.
  • Western Summer School in Algebra, University of Alberta, 2020.

Reviewer Service

  • NeurIPS (2024 - Ongoing), (Best Reviewer Award 2024)
  • NeurIPS D3S3 Workshop 2024, MATH-AI Workshop 2024
  • ICLR (2024 - Ongoing)
  • ICML (2023 - Ongoing)
  • AISTATS (2025 - Ongoing)
  • TMLR (2025 - Ongoing)
  • JMLR (2022 - Ongoing)