Augusto B. Corrêa

20 papers A* 13Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code.
CoRR
Augusto B. Corrêa, André Grahl Pereira, Jendrik Seipp
2025 A* conf
Counting and Reasoning with Plans.
AAAI
David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corrêa
2025 J jnl
Counting and Reasoning with Plans.
CoRR
David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corrêa
2025 J jnl
Iterative Deployment Improves Planning Skills in LLMs.
CoRR
Augusto B. Corrêa, Yoav Gelberg, Luckeciano C. Melo, Ilia Shumailov, André Grahl Pereira, Yarin Gal
2025 J jnl
The 2025 Planning Performance of Frontier Large Language Models.
CoRR
Augusto B. Corrêa, André Grahl Pereira, Jendrik Seipp
2024 J jnl
Consolidating LAMA with Best-First Width Search.
CoRR
Augusto B. Corrêa, Jendrik Seipp
2024 A* conf
Lifted Planning: Recent Advances in Planning Using First-Order Representations.
IJCAI
Augusto B. Corrêa, Giuseppe De Giacomo
2024 A* conf
Planning with Object Creation.
ICAPS
Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin
2024 J jnl
The Universal PDDL Domain.
CoRR
Patrik Haslum, Augusto B. Corrêa
2023 A* conf
Grounding Planning Tasks Using Tree Decompositions and Iterated Solving.
ICAPS
Augusto B. Corrêa, Markus Hecher, Malte Helmert, Davide Mario Longo, Florian Pommerening, Stefan Woltran
2023 A* conf
Zero-Knowledge Proofs for Classical Planning Problems.
AAAI
Augusto B. Corrêa, Clemens Büchner, Remo Christen
2022 A* conf
Best-First Width Search for Lifted Classical Planning.
ICAPS
Augusto B. Corrêa, Jendrik Seipp
2022 A* conf
On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond.
ICAPS
Malte Helmert, Silvan Sievers, Alexander Rovner, Augusto B. Corrêa
2022 A* conf
The FF Heuristic for Lifted Classical Planning.
AAAI
Augusto B. Corrêa, Florian Pommerening, Malte Helmert, Guillem Francès
2021 A* conf
Delete-Relaxation Heuristics for Lifted Classical Planning.
ICAPS
Augusto B. Corrêa, Guillem Francès, Florian Pommerening, Malte Helmert
2020 A* conf
Lifted Successor Generation Using Query Optimization Techniques.
ICAPS
Augusto B. Corrêa, Florian Pommerening, Malte Helmert, Guillem Francès
2019 A* conf
An Empirical Study of Perfect Potential Heuristics.
ICAPS
Augusto B. Corrêa, Florian Pommerening
2019 A* conf
Generalized Potential Heuristics for Classical Planning.
IJCAI
Guillem Francès, Augusto B. Corrêa, Cedric Geissmann, Florian Pommerening
2018 A* conf
Analyzing Tie-Breaking Strategies for the A* Algorithm.
IJCAI
Augusto B. Corrêa, André Grahl Pereira, Marcus Ritt
2016 — conf
Improved Airport Ground Traffic Control with Domain-Dependent Heuristics.
BRACIS
Augusto B. Corrêa, André Grahl Pereira, Marcus Ritt