| Date | Time | Room | Speaker | Title | Abstract |
|---|---|---|---|---|---|
| 11 Apr 2023 | 12:00 - 13:00 | V5-227 (Darstellungs | Stump, AI aids intuition in mathematical discovery (see description) | ||
| 18 Apr 2023 | 12:00 - 13:00 | U2-232 | Advancing mathematics by guiding human intuition with AI (also, see description) | ||
| 25 Apr 2023 | 12:00 - 13:00 | U2 - 113 | Trying to use the software from Davies et al (see descrpition) | ||
| 2 May 2023 | 12:00 - 13:00 | V4-112 | Grant Sanderson's introduction to deep learning (links in Sciebo folder) | ||
| 9 May 2023 | 12:00 - 13:00 | U2-113 | Geordie Williamson, Is deep learning a useful tool for the pure mathematician? | ||
| 16 May 2023 | 12:00 - 13:00 | V4-112 | A Recipe for Training Neural Networks + show and tell! (see description) | ||
| 23 May 2023 | 12:00 - 13:00 | V4-112 | The Hundred Page Machine Learning Book, Chapters 1 and 2 | ||
| 30 May 2023 | 12:00 - 13:00 | V4-112 | The Hundred Page Machine Learning Book, Chapter 3 | ||
| 6 Jun 2023 | 12:00 - 13:00 | V4-112 | The Hundred Page Machine Learning Book, Chapter 4 | ||
| 13 Jun 2023 | 12:00 - 13:00 | V3-201 | Running bits of code | ||
| 20 Jun 2023 | 12:00 - 13:00 | V4-112 | Y.-H. He and M. Kim. Learning algebraic structures: preliminary investigations (in Siebo folder) | ||
| 27 Jun 2023 | 12:00 - 13:00 | U2-232 | Randy Davila, Advancements in Research Mathematics through AI: A Framework for Conjecturing | ||
| 11 Jul 2023 | 12:00 - 13:00 | V3-201 | Adam Zsolt Wagner, Constructions in combinatorics via neural networks (link in description) |