constraint satisfaction 1maxsat 1neuro-symbolic reasoning 1sudoku solving 1vision-language models 1visual reasoning 1
From the 1 of 11 linked papers with an AI index.
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku
Pedro Orvalho, Guillem AlenyÃ, Felip ManyÃ
The paper introduces a neuro‑symbolic method that uses a MaxSAT solver to check and refine the outputs of vision‑language models when solving Sudoku, providing feedback that improv…
cs.AI2026
Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
Pedro Orvalho, Marta Kwiatkowska, Guillem Alenyà +1
Large Language Models (LLMs) excel at understanding natural language but struggle with optimisation tasks involving multiple constraints and user-defined preferences, which commonl…