Synthesizing symbolic models of human and machine reasoning at scale
Behavior-Conditioned Symbolic Synthesis is introduced---an approach for automated search of interpretable, deterministic symbolic programs that verifiably reproduce behavior---and applied to model both human and machine behavior across hundreds of challenging reasoning problems, pointing to underlying mechanisms remini...
Solim LeGris, Philipp Mondorf, Jin-Ran Jin et al.
· 0 citations