Reliable Reasoning

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 …

Pedro Orvalho

• Jul 19, 2026 • 1 min read

Large Language Models

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 …

Pedro Orvalho

• May 27, 2026 • 1 min read

Neuro-Symbolic AI

Neuro-Symbolic AI for Reliable Reasoning

Modern foundation models, including Large Language Models (LLMs) and Vision-Language Models (VLMs), have remarkable capabilities for understanding natural language, code, and …

Pedro Orvalho

• Oct 1, 2025 • 10 min read