21
January
Stefan Szeider
Stefan Szeider
Professor
Head of the Algorithms and Complexity Group
Faculty of Informatics
Technische Universität Wien (TU Wien)
Favoritenstraße 9–11, E192-01
1040 Vienna, Austria
Room HC0401
Phone: +43(1)58801–192100
sz@ac.tuwien.ac.at
AI-readable profile
Biography
News
Leanback MCP server released “lean back and let the agent write the lean proof.”
MCP-DBLP: provides Large Language Models access to the DBLP computer science bibliography database. Paper AI4SC @ AAAI 2026. Software on PiPy.
SAT 2026 PC co-chair: website.
New paper on arxiv: What Do LLM Agents Do When Left Alone?
MCP Solver, version 3.4 released. A Model Context Protocol (MCP) server that exposes SAT, SMT, and constraint-solving capabilities to Large Language Models. Supports
