Orvalho, P., Janota, M. and Manquinho, V. M. (2025) “Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(1), pp. 649–657. doi: 10.1609/aaai.v39i1.32046.