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) |