SOPhiA 2018, Salzburg, 12–15 September (The Reasoner, 2024)