📄📄📄 3 Papers accepted @ FLoC 2026!! 🎉🎉🎉
Excited to share that three of our papers have been accepted at FLoC 2026, covering automated feedback for Prolog education, data-driven mutation testing for Prolog, and …
Solving MaxSAT Problems from Natural Language Descriptions with LLMs and PySAT
In this paper, we study a neuro-symbolic approach in which an LLM translates a natural language description of an optimisation problem into executable Python code using PySAT. The …