New Preprint Synthesizes Symbolic Models of Human and Machine Reasoning on ARC at Scale

burny_tech · x · 2026-11-10

A new preprint, 'Synthesizing symbolic models of human and machine reasoning at scale,' introduces Behavior-Conditioned Symbolic Synthesis (BCSS). LLM-based program synthesis has mostly been applied to classical psychology tasks (learning, memory, decision-making); the authors generalize it to open-ended reasoning using ARC, where humans excel and machines have been improving. By studying incorrect inferences from both humans and machines, BCSS builds scaled symbolic cognitive models offering process-level understanding of behavior, beyond task-level accuracy. Team includes Brenden Lake and Todd Gureckis.

Related event: LLM-Synthesized Symbolic Models Reveal Striking Error Similarities Between Humans and AI(2 posts)→

Original post →

More from AGI Musings

AGI Musings channel →