7 citations · 14 across the 13 of their papers we have counts for
3 papers · 1 filter
What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework
Ricardo Brancas, Pedro Orvalho, Carolina Carreira +2
Automated feedback tools for logic programming education depend on realistic bug datasets that reflect the mistakes students actually make. However, existing mutation testing frame…
MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku
Pedro Orvalho, Guillem Alenyà, Felip Manyà
Vision--Language Models (VLMs) have recently demonstrated promising performance on structured visual reasoning tasks, including grid-based puzzles. However, despite strong perceptu…
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…