Solving MaxSAT Problems from Natural Language Descriptions with LLMs and PySAT @ LLM-Solve @ FLoC 2026
In this talk, we will present a framework for solving MaxSAT problems expressed in natural language by combining large language models with the PySAT toolkit. We will show how LLMs …
