LLM-Driven Automated Program Repair Using MaxSAT-based Fault Localization @ Oxford
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 …
