TY  - RPRT
TI  - Synthesizing symbolic models of human and machine reasoning at scale
AU  - Solim LeGris
AU  - Philipp Mondorf
AU  - Jinran Jin
AU  - Akshay K. Jagadish
AU  - Brenden M. Lake
AU  - Todd M. Gureckis
PY  - 2026
UR  - https://arxiv.org/abs/2611.07088
ID  - 2611.07088
ER  -