Orvalho, P. et al. 2025. Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization. Proceedings of the AAAI Conference on Artificial Intelligence. 39, 1 (Apr. 2025), 649–657. DOI:https://doi.org/10.1609/aaai.v39i1.32046.