Orvalho, P., Janota, M., & 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), 649–657. https://doi.org/10.1609/aaai.v39i1.32046