Publications

Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs in ICST 2025

Ricardo Brancas, Vasco Manquinho and Ruben Martins

This paper introduces FormHe, a novel tool that integrates logic-based techniques with Large Language Models (LLMs) to detect and correct issues in Answer Set Programming submissions.

Paper arXiv Code

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation in FASE 2024

Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho and Ruben Martins

This paper introduces CUBES, a parallel SQL program synthesizer using input-output examples and a user-guided disambiguation process, achieving up to 60% accuracy and super-linear speedups by leveraging multicore architectures.

Paper arXiv (extended) Code

On Repairing Natural Language to SQL Queries in arXiv

Aidan Z.H. Yang, Ricardo Brancas, Pedro Esteves, Sofia Aparicio, Joao Pedro Nadkarni, Miguel Terra-Neves, Vasco Manquinho, Ruben Martins

Paper arXiv