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

David Speck

DBLP profile ↗ORCID search ↗

×1

Papers

Alternation-Based Novelty Search
ICAPS 2025 · Augusto B. Corrêa
Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code
NeurIPS 2025 · Augusto B. Corrêa
Counting and Reasoning with Plans
AAAI 2025 ·
David Speck
DBLP profile ↗ORCID search ↗
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