Link Search Menu Expand Document

Welcome

This is the homepage of the course: Mathematical Foundations for Reasoning in Large Language Models taught by Csaba Szepesvári at the University of Alberta in the fall of 2025.

Additional information and resources can be accessed from the sidepane on the left.

Slack with a twist

This will be good!