Talks.

Talks/Presentations

Verified Mathematical Reasoning with Lean and Language Models, ICERM, Brown University 2025. Talk here: Slides+Video

Machine Learning in Function Spaces, NASA JPL, 2024.

Foundational Models for PDEs, Scientific Foundation Models, University of Michigan, 2024.

Foundational Models for PDEs, MURI, 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 (Best Reviewer Award), 2025

NeurIPS D3S3 Workshop 2024, MATH-AI Workshop 2024

ICLR 2024, 2025

ICML 2023, 2024, 2025

AISTATS 2025

TMLR (2025 - Ongoing)

JMLR (2022 - Ongoing)