Counterexample Guided Program Repair Using Large Language Models and MaxSAT-based Fault Localization
In this talk I will present a hybrid method to automated repair of C code, using Maximum Satisfiability (MaxSAT)-based fault localization, CFaults, to localize bugs and LLMs to …
