Prof. Cezary Kaliszyk gave an invited talk at SCML-2026, the conference on Symbolic Computation and Machine Learning, held July 6–8, 2026 in Hagenberg, Austria.
His talk, “Formalization and Automated Reasoning in the Age of LLMs”, was presented on Monday, July 6, and discussed how large language models are reshaping formalization and automated reasoning. The slides are available here.