← back to paper
arxiv: 2607.12711 · 2 revisions
MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku