System-2 Reasoning, Neuro-Symbolic, Abstraction and Reasoning, Logical Reasoning, Program Synthesis, Cognitive Science
Workshop, University 1, Department, 2015
Undergraduate course, University 1, Department, 2014
