November 20, 2025
While subsymbolic modeling (machine learning, large language models) excels at capturing statistical patterns of the world from historical data, symbolic modeling (constraint satisfaction, SAT solving, planning, knowledge graphs) provides efficient reasoning on top of explicitly captured mechanics of the world with various levels of abstraction.
While subsymbolic modeling (machine learning, large language models) excels at capturing statistical patterns of the world from historical data, symbolic modeling (constraint satisfaction, SAT solving, planning, knowledge graphs) provides efficient reasoning on top of explicitly captured mechanics of the world with various levels of abstraction. The efficient interleaving of these two paradigms remains an open research challenge — one that underpins the next evolution of composite AI, neurosymbolic AI, and, in contemporary terms, agentic AI.
In this talk, we provide an overview of the state of the agentic AI field, and we dive into the principles and techniques developed and deployed to production by Filuta AI across industries such as energy, logistics, automotive, dual-use, and digital entertainment.
Filip Dvořák is a Czech-American artificial intelligence expert and entrepreneur. He holds a doctorate in Artificial Intelligence from the Faculty of Mathematics and Physics at Charles University in Prague and conducted research at the University of Toronto, the Palo Alto Research Center (PARC), and LAAS-CNRS in France. He has worked as a researcher for Google, Microsoft, and SLB, and has been involved in several AI startups in the San Francisco Bay Area that led to successful acquisitions. In September 2022, he co-founded Filuta AI, a deep-tech company developing autonomous and composite AI systems that combine symbolic reasoning with machine learning to enable agentic intelligence.
Its program consists of a one-hour lecture followed by a discussion. The lecture is based on an (internationally) exceptional or remarkable achievement of the lecturer, presented in a way which is comprehensible and interesting to a broad computer science community. The lectures are in English.
The idea to organize this seminar emerged in discussions of the representatives of several research institutes on how to avoid the undesired fragmentation of the Czech computer science community.
The seminar is organized by the organizational committee consisting of Roman Barták (Charles University, Faculty of Mathematics and Physics), Jaroslav Hlinka (Czech Academy of Sciences, Computer Science Institute), Michal Chytil, Pavel Kordík (CTU in Prague, Faculty of Information Technologies), Michal Koucký (Charles University, Faculty of Mathematics and Physics), Jan Kybic (CTU in Prague, Faculty of Electrical Engineering), Michal Pěchouček (CTU in Prague, Faculty of Electrical Engineering), Jiří Sgall (Charles University, Faculty of Mathematics and Physics), Vojtěch Svátek (Prague University of Economics and Business, Faculty of Informatics and Statistics), Michal Šorel (Czech Academy of Sciences, Institute of Information Theory and Automation), Tomáš Werner (CTU in Prague, Faculty of Electrical Engineering), and Filip Železný (CTU in Prague, Faculty of Electrical Engineering)