I’m presenting ‘Towards AI generated Philosophy through Autoformalization’ at AI4Science 2026 in Mainz. Slides.