Bridging Language Models and Symbolic Solvers via the Model Context Protocol

Szeider, Stefan

doi:10.4230/LIPICS.SAT.2025.30

by Stefan Szeider

Reference:

Bridging Language Models and Symbolic Solvers via the Model Context ProtocolStefan Szeider28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, August 12-15, 2025, Glasgow, Scotland (Jeremias Berg, Jakob Nordström, eds.), volume 341 of LIPIcs, pages 30:1–30:12, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Bibtex Entry:

@string{lipics="LIPIcs"}
@inproceedings{Szeider25,
  author       = {Stefan Szeider},
  editor       = {Jeremias Berg and
                  Jakob Nordstr{\"{o}}m},
  title        = {Bridging Language Models and Symbolic Solvers via the Model Context
                  Protocol},
  booktitle    = {28th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2025, August 12-15, 2025, Glasgow, Scotland},
  series       = {LIPIcs},
  volume       = {341},
  pages        = {30:1--30:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2025},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2025.30},
  doi          = {10.4230/LIPICS.SAT.2025.30},
  keywords     = {coe,strides},
}