Corrêa, Augusto B.

1. Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code
   2025/03/24 by Corrêa, Augusto B., Pereira, André G., Seipp, Jendrik · 5 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
2. Consolidating LAMA with Best-First Width Search
   2024/04/26 by Augusto B. Corrêa, Jendrik Seipp, Corrêa, Augusto B. +1 · 1 citation
   Computer Science · #Advanced Image and Video Retrieval Techniques #Algorithms and Data Compression #Artificial Intelligence (cs.AI) #Data Management and Algorithms #FOS: Computer and information sciences #Robotics (cs.RO)
3. Counting and Reasoning with Plans
   2025/01/31 by David Speck, Speck, David, Markus Hecher +7 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies