From the 1 of 4 linked papers with an AI index.
4 papers
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…
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…
COTONET: A custom cotton detection algorithm based on YOLO11 for stage of growth cotton boll detection
Guillem González, Guillem AlenyÃ, Sergi Foix
Cotton harvesting is a critical phase where cotton capsules are physically manipulated and can lead to fibre degradation. To maintain the highest quality, harvesting methods must e…
Ontological foundations for contrastive explanatory narration of robot plans
Alberto Olivares-Alarcos, Sergi Foix, Júlia Borràs +2
Mutual understanding of artificial agents' decisions is key to ensuring a trustworthy and successful human-robot interaction. Hence, robots are expected to make reasonable decision…