Bridging Language Models and Symbolic Solvers via the Model Context Protocol
Abstract
Stefan Szeider. Bridging Language Models and Symbolic Solvers via the Model Context Protocol. 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, August 12-15, 2025, Glasgow, Scotland (Jeremias Berg and Jakob Nordström), volume 341 of LIPIcs, pages 30:1-30:12, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.