The Fields Institute for
Research in Mathematical Sciences

Yevgeny Liokumovich (University of Toronto)
Lecture 03 | Mathematics for AI Safety

Rubi Hudson, University of Toronto
Corrigibility Transformation: Constructing Goals That Accept Updates

Lecture 02 | Elements of Mathematical Formalization and Auto-Formalization with Lean

Farin Syed (University of Toronto)
Down-the-middle isometries for the Airy sheet and KPZ sheet

Bartosz Naskręcki (Adam Mickiewicz University), Jared Duker Lichtman (Stanford University), Emily Riehl (Johns Hopkins University)
1) Disclose tool use and 10) Consider carefully which tools to use

Yevgeny Liokumovich (University of Toronto)
Lecture 04 | Mathematics for AI Safety

Janane Krayem, University of Toronto
Ultrametricity as a Tool for Distinguishing Finite Sets in a Metric Space

Gaurav Patil (Lodha Institute of Mathematical Sciences)
Disecting Selberg...Sieve!: 1. On the Hardy-Littlewood result on zeros on critical line.

Atul Ingle
Learning to See in 3D One Photon at a Time

Tillmann Miltzow, Utrecht University
Training Fully Connected Neural Networks is ∃R-Complete

Yuzhe Zhang, Helmholtz-Institut Mainz, Johannes Gutenberg-Universität Mainz
Tackling the Dark Matter Puzzle with Quantum Sensing: The CASPEr Experiment

Iljas Farah (York University)
Biba's trick

Mathias Stout, McMaster University
Tokens are all you need? Navier—Stokes, automated math, formalization, and trust