Corrêa, Augusto B.

7 publications

NeurIPS 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

AAAI 2025 Counting and Reasoning with Plans David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corrêa

IJCAI 2024 Lifted Planning: Recent Advances in Planning Using First-Order Representations Augusto B. Corrêa, Giuseppe De Giacomo

AAAI 2023 Zero-Knowledge Proofs for Classical Planning Problems Augusto B. Corrêa, Clemens Büchner, Remo Christen

AAAI 2022 The FF Heuristic for Lifted Classical Planning Augusto B. Corrêa, Florian Pommerening, Malte Helmert, Guillem Francès

IJCAI 2019 Generalized Potential Heuristics for Classical Planning Guillem Francès, Augusto B. Corrêa, Cedric Geissmann, Florian Pommerening

IJCAI 2018 Analyzing Tie-Breaking Strategies for the A* Algorithm Augusto B. Corrêa, André Grahl Pereira, Marcus Ritt