Augusto B. Corrêa

According to our database, Augusto B. Corrêa authored at least 21 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Property-Guided LLM Program Synthesis for Planning.

André Grahl Pereira, Augusto B. Corrêa, Jendrik Seipp

CoRR, May, 2026

Hierarchical Task Network Planning with LLM-Generated Heuristics.

Felipe Meneguzzi, Augusto Buchweitz, Augusto B. Corrêa, Victor Scherer Putrich, André Grahl Pereira

CoRR, May, 2026

2025

Iterative Deployment Improves Planning Skills in LLMs.

Augusto B. Corrêa, Yoav Gelberg, Luckeciano C. Melo, Ilia Shumailov, André Grahl Pereira, Yarin Gal

CoRR, December, 2025

The 2025 Planning Performance of Frontier Large Language Models.

Augusto B. Corrêa, André Grahl Pereira, Jendrik Seipp

CoRR, November, 2025

Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code.

Augusto B. Corrêa, André Grahl Pereira, Jendrik Seipp

CoRR, March, 2025

Counting and Reasoning with Plans.

David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corrêa

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

The Universal PDDL Domain.

Patrik Haslum, Augusto B. Corrêa

CoRR, 2024

Consolidating LAMA with Best-First Width Search.

Augusto B. Corrêa, Jendrik Seipp

CoRR, 2024

Lifted Planning: Recent Advances in Planning Using First-Order Representations.

Augusto B. Corrêa, Giuseppe De Giacomo

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Planning with Object Creation.

Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

2023

Grounding Planning Tasks Using Tree Decompositions and Iterated Solving.

Augusto B. Corrêa, Markus Hecher, Malte Helmert, Davide Mario Longo, Florian Pommerening, Stefan Woltran

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Zero-Knowledge Proofs for Classical Planning Problems.

Augusto B. Corrêa, Clemens Büchner, Remo Christen

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond.

Malte Helmert, Silvan Sievers, Alexander Rovner, Augusto B. Corrêa

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Best-First Width Search for Lifted Classical Planning.

Augusto B. Corrêa, Jendrik Seipp

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

The FF Heuristic for Lifted Classical Planning.

Augusto B. Corrêa, Florian Pommerening, Malte Helmert, Guillem Francès

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Delete-Relaxation Heuristics for Lifted Classical Planning.

Augusto B. Corrêa, Guillem Francès, Florian Pommerening, Malte Helmert

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

2020

Lifted Successor Generation Using Query Optimization Techniques.

Augusto B. Corrêa, Florian Pommerening, Malte Helmert, Guillem Francès

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Generalized Potential Heuristics for Classical Planning.

Guillem Francès, Augusto B. Corrêa, Cedric Geissmann, Florian Pommerening

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

An Empirical Study of Perfect Potential Heuristics.

Augusto B. Corrêa, Florian Pommerening

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Analyzing Tie-Breaking Strategies for the A* Algorithm.

Augusto B. Corrêa, André Grahl Pereira, Marcus Ritt

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2016

Improved Airport Ground Traffic Control with Domain-Dependent Heuristics.

Augusto B. Corrêa, André Grahl Pereira, Marcus Ritt

Proceedings of the 5th Brazilian Conference on Intelligent Systems, 2016