System-2 Reasoning, Neuro-Symbolic, Abstraction and Reasoning, Logical Reasoning, Program Synthesis, Cognitive Science
