arXiv cs.AI: Synthesizing symbolic models of human and machine reasoning at scale

arXiv cs.AI: Synthesizing symbolic models of human and machine reasoning at scale

The authors of a paper listed by arXiv cs.AI introduce Behavior-Conditioned Symbolic Synthesis (BCSS), an automated search for interpretable, deterministic symbolic programs that verifiably reproduce behavior. They apply BCSS to human and machine behavior across hundreds of challenging reasoning problems, presenting it as a way to address symbolic modeling’s historical limits from hand-engineering and computational tractability. Their analysis reports shared patterns: people and machines tend to oversimplify, adopt rules that only partly explain their observations, and misinfer dependencies between problem features. The authors say these patterns vary with available resources; reasoning effort predicts how much machines simplify and explain their observations. They interpret the shared patterns as pointing to mechanisms reminiscent of satisficing in both people and machines. They present BCSS as a general approach for interpreting and comparing rule-based reasoning in people and black-box AI systems. The abstract does not establish how well the approach works beyond the problems studied.

Publication: e18f3385-bb2a-411c-88ac-61cf1297e289

attribution — pass: The reading attributes the BCSS method, findings and satisficing interpretation to the paper's authors and identifies the source as an arXiv cs.AI listing. It does not present the findings as established fact or as Escape Meridian's view.

Authors:Solim LeGris, Philipp Mondorf, Jinran Jin, Akshay K. Jagadish, Brenden M. Lake, Todd M. Gureckis

summary — uncertain: The summary faithfully tracks the abstract, but its central terms are not explained for a non-specialist: 'symbolic models/programs', 'deterministic', 'satisficing' and 'black-box AI systems'. 'Satisficing' carries the authors' main interpretation, yet a general reader is not told it means settling for a good-enough answer rather than the best one. Smallest repair: add or confirm term-library tooltips for symbolic model, satisficing and black-box. Also add one plain sentence saying the method turns observed behavior into readable rules so human and AI reasoning can be compared. The title and question are fair.

point to underlying mechanisms reminiscent of satisficing in both people and machines

date — pass: The originalPublished value, 2026-11-04, matches the v1 submission date on the arXiv page. The 2026-11-06 feed date is correctly not used.

[Submitted on 4 Nov 2026]

support — pass: Each claim is stated in the abstract. The reading correctly limits the reasoning-effort finding to machines and keeps the satisficing link as the authors' interpretation ('reminiscent of'). The question and the limitation about generalization follow from the evidence without overstating it. Claim 4's excerpt covers the resource modulation, and the satisficing part is supported elsewhere in the abstract.

with reasoning effort predicting the extent to which machines simplify and explain their observations

media — pass: The selected media is the verified direct link to the original arXiv abstract page. That is the most direct and relevant access to the source.