Orvalho, Pedro, Mikoláš Janota, and Vasco M. Manquinho. 2025. “Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-Based Fault Localization”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (1):649-57. https://doi.org/10.1609/aaai.v39i1.32046.