📄🤖 2 Papers accepted @ EPIA 2026!! 🎉🎉
Excited to share that two of our papers have been accepted at EPIA 2026, covering the robustness of LLMs for code understanding and neuro-symbolic feedback for Vision-Language …
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 …