(A)bstraction on (C)onstrained (E)xamples
By (r)yan, (h)arjas, & (s)ean
Ongoing program synthesis project for Purdue CS560 - Reasoning About Programs Course
Final Presentation presented in Class
Final Paper presented in Class
In this project, we leverage the Microsoft PROSE program synthesis-by-example framework to solve generic problems taken from the Abstraction & Reasoning Corpus, which is directly related to the Abstraction & Reasoning Challenge hosted on kaggle. The ARC contains a set of task examples meant to measure the ability of an agent to synthesize correct programs for generic, image-based problems that are not amenable to current learning techniques.