conftrace_

arc benchmark

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

program synthesis (2) pddl modeling (1) abstraction reasoning (1) graph abstraction (1) object-centric reasoning (1) arc solver (1) planning domain definition language (1) constraint acquisition (1) abstract reasoning (1) tabu search (1)

Papers

Generalized Planning for the Abstraction and Reasoning Corpus AAAI 2024 Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus AAAI 2023