MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair - Orvalho, Pedro; Janota, Mikoláš; Manquinho, Vasco (The Journal of systems and software, 2025)