Large Language Models

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization featured image

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization

In this paper, we propose a novel approach that combines the strengths of both FM-based fault localization and LLMs, via zero-shot learning, to enhance APR for IPAs. Our method …

avatar
Pedro Orvalho
•
Read more
📄 Paper accepted @ AAAI 2025!! 🎉 featured image

📄 Paper accepted @ AAAI 2025!! 🎉

I am very happy to share that our paper that combines the strengths of both MaxSAT-based fault localisation and Large Language Models, via zero-shot learning, to enhance automated …

avatar
Pedro Orvalho
•
Read more
LLM-Driven Automated Program Repair Using MaxSAT-based Fault Localization @ Oxford featured image

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 …

avatar
Pedro Orvalho
•
Read more
Automated Feedback for Introductory Programming Exercises featured image

Automated Feedback for Introductory Programming Exercises

Delivering valuable and personalised feedback to students remains one of the greatest challenges in programming education, particularly in courses with large enrollments. Providing …

avatar
Pedro Orvalho
•
Read more