Talks

Do mathematicians dream of data?

I gave a talk at LMFDB, Computation, and Number Theory (LuCaNT) 2025, which took place at ICERM in Providence, July 7 - 11, 2025.

• slides,
• references.

Lean-HoG: Incorporating a database of graphs into a proof assistant

Together with Jure Taslak, I gave a talk at the workshop Formalization of Mathematics, which took place at the Hausdorff Research Institute for Mathematics in Bonn, June 17 - 21, 2024, during the trimester program “Prospects of Formal Mathematics”.

• paper (Andrej Bauer, KB, Gauvain Devillez, Jure Taslak),
• recording.