ML Anthology

Orvalho, Pedro

1 publications

AAAI 2025 Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-Based Fault Localization Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho