Augusto B. Corrêa
Junior Research Fellow at Christ Church college, University of Oxford, UK
Hi!
I am a Junior Research Fellow at Christ Church, University of Oxford. My research focuses on safe and trustworthy AI — specifically, how to ensure that AI systems that plan and act in the world do so reliably and correctly. I work on automated planning, the formal foundations of AI, and the intersection of classical planning and large language models.
My Ph.D. thesis, Planning with Different Representations, received the ICAPS Outstanding Dissertation Award (2025). I am the creator of Powerlifted, one of the most popular lifted (i.e., first-order) planners in the literature. My planners Scorpion Maidu and Levitron won the Classical Satisficing Track of the 2023 International Planning Competition. More recently, I’ve been working on using LLMs to generate heuristic functions for planning, with a recent paper at NeurIPS 2025 and a Google Gemini Academic Program Award (2026) supporting this line of research.
Before Oxford, I obtained my Ph.D. and M.Sc. at the University of Basel, Switzerland, supervised by Prof. Malte Helmert, and my B.Sc. at the Federal University of Rio Grande do Sul, Brazil, supervised by Prof. André G. Pereira and Prof. Marcus Ritt.
I currently also co-organise the LM4Plan Workshop (Language Models for Planning) at ICAPS and ICML.
News
| Feb 20, 2026 | Paper accepted at ICAPS 2026: Potential Heuristics as Real-Valued Multilinear Polynomials. |
|---|---|
| Feb 19, 2026 | Awarded the Google Gemini Academic Program Award for research on LLMs for planning. |
| Dec 30, 2025 | New preprint: Iterative Deployment Improves Planning Skills in LLMs. |
| Oct 14, 2025 | Awarded the ICAPS Outstanding Dissertation Award for my Ph.D. thesis. |
| Sep 18, 2025 | Paper accepted at NeurIPS 2025: Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code. |
Contact
Christ Church
St Aldate’s, Oxford
OX1 1DP
United Kingdom
Email: augusto.blaascorrea@chch.ox.ac.uk