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)