Augusto B. Corrêa

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

• [2026] Paper accepted at ICAPS 2026: Potential Heuristics as Real-Valued Multilinear Polynomials.
• [2026] Awarded the Google Gemini Academic Program Award for research on LLMs for planning.
• [2025] Paper accepted at NeurIPS 2025: Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code.
• [2025] New preprint: Iterative Deployment Improves Planning Skills in LLMs.
• [2025] Awarded the ICAPS Outstanding Dissertation Award for my Ph.D. thesis.
• [2025] Co-organising the LM4Plan Workshop at ICAPS 2025, ICAPS 2026, and ICML 2026.

Contact

Christ Church
St Aldate’s, Oxford
OX1 1DP
United Kingdom

Email: augusto.blaascorrea@chch.ox.ac.uk