ML Anthology

Manquinho, Vasco M.

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