Logical Reasoning

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku @ EPIA 2026 featured image
Neuro-Symbolic AI

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku @ EPIA 2026

In this talk, we will present a neuro-symbolic approach that combines Vision-Language Models (VLMs) with MaxSAT reasoning to improve reliability on structured visual reasoning …

avatar
Pedro Orvalho
•
Read more
MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku featured image
Neuro-Symbolic AI

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku

In this paper, we propose a neuro-symbolic approach that integrates formal constraint reasoning into the VLM solving process via a Maximum Satisfiability (MaxSAT) oracle. Rather …

avatar
Pedro Orvalho
•
Read more