Mini Course: Mathematical Programming and Reasoning in Lean

This tutorial introduces an experimental approach to mathematics, with a focus on computation and data analysis. Drawing inspiration from the sciences, participants will run “experiments”, using Python libraries and Colab notebooks to gather data. They will then use Machine Learning to observe patterns in the data and thus “discover” theorems. The emphasis is on exploration and discovery: experimenting with functions, generating datasets, and using ML techniques to posit conjectures.