Demo Data from EDBT 2026 / reviewers in the wild / expert
Carlos G. Correa
dblp:271/4605
· DBLP profile ↗
6ranked-venue papers
4as first author
4since 2021 · last 2024
0000-0001-9138-7818ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 5 · 3 first-author · 3 since 2021Applied, interdisciplinary, general and emerging computing · 4 · 4 first-author · 2 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
2 papers |
Planning, search and constraint satisfaction · 36% Transfer learning and domain adaptation · 21% Reinforcement learning · 21% |
Topics — the 3 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › hierarchical planning
hierarchical task decomposition |
0.8 | 1 | 2024 | Structurally Guided Task Decomposition in Spatial Navigation Tasks (Student Abstract) · AAAI 2024 |
Machine learning › Transfer learning and domain adaptation
meta-learning |
0.6 | 1 | 2022 | Using natural language and program abstractions to instill human inductive biases in machines · NeurIPS 2022 |
Machine learning › Reinforcement learning
meta-reinforcement learning |
0.6 | 1 | 2022 | Using natural language and program abstractions to instill human inductive biases in machines · NeurIPS 2022 |
Methods — techniques the papers use, named apart from their topics
task decomposition · 0.8cognitive modeling · 0.8program abstraction · 0.6natural language task description · 0.6
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Structurally Guided Task Decomposition in Spatial Navigation Tasks (Student Abstract)abstractHow are people able to plan so efficiently despite limited cognitive resources? We aimed to answer this question by extending an existing model of human task decomposition that can explain a wide range of simple planning problems by adding structure information to the task to facilitate planning in more complex tasks. The extended model was then applied to a more complex planning domain of spatial navigation. Our results suggest that our framework can correctly predict the navigation strategies of the majority of the participants in an online experiment. Ruiqi He, Carlos G. Correa, Thomas L. Griffiths 0001, Mark K. Ho |
AAAI | 2 |
| 2024 | Program-Based Strategy Induction for Reinforcement Learning
Carlos G. Correa, Thomas L. Griffiths 0001, Nathaniel D. Daw |
CogSci | 1 |
| 2023 | Humans decompose tasks by trading off utility and computational costabstractHuman behavior emerges from planning over elaborate decompositions of tasks into goals, subgoals, and low-level actions. How are these decompositions created and used? Here, we propose and evaluate a normative framework for task decomposition based on the simple idea that people decompose tasks to reduce the overall cost of planning while maintaining task performance. Analyzing 11,117 distinct graph-structured planning tasks, we find that our framework justifies several existing heuristics for task decomposition and makes predictions that can be distinguished from two alternative normative accounts. We report a behavioral study of task decomposition (N = 806) that uses 30 randomly sampled graphs, a larger and more diverse set than that of any previous behavioral study on this topic. We find that human responses are more consistent with our framework for task decomposition than alternative normative accounts and are most consistent with a heuristic-betweenness centrality-that is justified by our approach. Taken together, our results suggest the computational cost of planning is a key principle guiding the intelligent structuring of goal-directed behavior. Carlos G. Correa, Mark K. Ho, Frederick Callaway, Nathaniel D. Daw, Thomas L. Griffiths 0001 |
PLoS Comput. Biol. | 1 |
| 2022 | Using natural language and program abstractions to instill human inductive biases in machinesabstractStrong inductive biases give humans the ability to quickly learn to perform a variety of tasks. Although meta-learning is a method to endow neural networks with useful inductive biases, agents trained by meta-learning may sometimes acquire very different strategies from humans. We show that co-training these agents on predicting representations from natural language task descriptions and programs induced to generate such tasks guides them toward more human-like inductive biases. Human-generated language descriptions and program induction models that add new learned primitives both contain abstract concepts that can compress description length. Co-training on these representations result in more human-like behavior in downstream meta-reinforcement learning agents than less abstract controls (synthetic language descriptions, program induction without learned primitives), suggesting that the abstraction supported by these representations is key. Sreejan Kumar, Carlos G. Correa, Ishita Dasgupta 0001, Raja Marjieh, Michael Y. Hu, Robert D. Hawkins, Jonathan D. Cohen 0003, Nathaniel D. Daw, Karthik Narasimhan, Thomas L. Griffiths 0001 |
NeurIPS | 2 |
| 2020 | Resource-rational Task Decomposition to Minimize Planning Costs
Carlos G. Correa, Mark K. Ho, Frederick Callaway, Thomas L. Griffiths 0001 |
CogSci | 1 |
| 2019 | Compositional subgoal representations
Carlos G. Correa, Frederick Callaway, Mark K. Ho, Thomas L. Griffiths 0001 |
CogSci | 1 |