@inproceedings{9de403456ce94a3d8d0ba0882211fa10,
title = "Neural-Guided, Bidirectional Program Search for Abstraction and Reasoning",
abstract = "One of the challenges facing artificial intelligence research today is designing systems capable of utilizing systematic reasoning to generalize to new tasks. The Abstraction and Reasoning Corpus (ARC) measures such a capability through a set of visual reasoning tasks. In this paper we report incremental progress on ARC and lay the foundations for two approaches to abstraction and reasoning not based in brute-force search. We first apply an existing program synthesis system called DreamCoder to create symbolic abstractions out of tasks solved so far, and show how it enables solving of progressively more challenging ARC tasks. Second, we design a reasoning algorithm motivated by the way humans approach ARC. Our algorithm constructs a search graph and reasons over this graph structure to discover task solutions. More specifically, we extend existing execution-guided program synthesis approaches with deductive reasoning based on function inverse semantics to enable a neural-guided bidirectional search algorithm. We demonstrate the effectiveness of the algorithm on three domains: ARC, 24-Game tasks, and a {\textquoteleft}double-and-add{\textquoteright} arithmetic puzzle.",
keywords = "Abstraction, Neural networks, Program synthesis, Reasoning",
author = "Simon Alford and Anshula Gandhi and Akshay Rangamani and Andrzej Banburski and Tony Wang and Sylee Dandekar and John Chin and Tomaso Poggio and Peter Chin",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 10th International Conference on Complex Networks and Their Applications, COMPLEX NETWORKS 2021 ; Conference date: 30-11-2021 Through 02-12-2021",
year = "2022",
doi = "10.1007/978-3-030-93409-5_54",
language = "English (US)",
isbn = "9783030934088",
series = "Studies in Computational Intelligence",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "657--668",
editor = "Benito, {Rosa Maria} and Chantal Cherifi and Hocine Cherifi and Esteban Moro and Rocha, {Luis M.} and Marta Sales-Pardo",
booktitle = "Complex Networks and Their Applications X - Proceedings of the 10th International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021",
address = "Germany",
}