Augusto B. Corrêa

5 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

ICAPS ×2 AAAI ×1 IJCAI ×1 NeurIPS ×1

Frequent coauthors

Jendrik Seipp

×2

André Grahl Pereira

×1

David Speck

×1

Markus Hecher

×1

Daniel Gnad

×1

Johannes Klaus Fichte

×1

Giuseppe De Giacomo

×1

Papers

Alternation-Based Novelty Search
ICAPS 2025 · Augusto B. Corrêa,
Jendrik Seipp
Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code
NeurIPS 2025 · Augusto B. Corrêa,
André Grahl Pereira
,
Jendrik Seipp
Counting and Reasoning with Plans
AAAI 2025 ·
David Speck
,
Markus Hecher
,
Daniel Gnad
,
Johannes Klaus Fichte
, Augusto B. Corrêa
Delete-Free Planning with Object Creation is Undecidable
ICAPS 2025 · Augusto B. Corrêa
Lifted Planning: Recent Advances in Planning Using First-Order Representations
IJCAI 2024 · Augusto B. Corrêa,
Giuseppe De Giacomo