# arXiv cs.AI: Synthesizing symbolic models of human and machine reasoning at scale [Canonical reading](https://escapemeridian.com/readings/arxiv-cs-ai-synthesizing-symbolic-models-of-human-and-machine-414c255a) 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. Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims. ## Original source arXiv cs.AI · Article Original source date: Nov 4, 2026 (2026-11-04). Date basis: Date basis not provided. Added to Escape Meridian: 2026-11-08T05:47:54.600Z. First observed: 2026-11-06T05:03:33.218Z. Retrieved: 2026-11-08T05:33:56.767Z. - [Synthesizing symbolic models of human and machine reasoning at scale](https://arxiv.org/abs/2611.07088) ## Limits The available evidence is the arXiv abstract; it does not provide the study methods, detailed results, or evidence about how broadly the findings generalize. ## Open question How do available resources affect the shared reasoning patterns, and how far do the reported patterns extend beyond the problems studied? ## Source-stated The authors introduce BCSS as an automated search method for interpretable, deterministic symbolic programs that reproduce behavior. > an approach for automated search of interpretable, deterministic symbolic programs that verifiably reproduce behavior - [Supporting source](https://arxiv.org/abs/2611.07088) ## Source-stated They apply BCSS to model human and machine behavior across hundreds of challenging reasoning problems. > apply it to model both human and machine behavior across hundreds of challenging reasoning problems - [Supporting source](https://arxiv.org/abs/2611.07088) ## Source-stated The authors report that people and machines tend to oversimplify, use rules that only partly explain observations, and misinfer dependencies between problem features. > both people and machines tend to oversimplify, adopt rules that are partial explanations for their observations, and misinfer dependencies between problem features - [Supporting source](https://arxiv.org/abs/2611.07088) ## Source-stated The authors say these shared patterns vary with available resources and interpret them as pointing to mechanisms reminiscent of satisficing. > These shared signatures are modulated by available resources - [Supporting source](https://arxiv.org/abs/2611.07088) ## Source and contributor context LeGris, Solim, Mondorf, Philipp, Jin, Jinran, Jagadish, Akshay K., Lake, Brenden M., Gureckis, Todd M. · Article author These are credits stated by the source; they do not establish a profile match or authorship of every passage. ## Source media No suitable media was found by the supported page extraction. ## Terms and references Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement. ## arXiv arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed. - [Explore this context](/entities/arxiv) - [Reference](https://arxiv.org/) - [Reference](https://info.arxiv.org/help/api/index.html) ## Editorial provenance Version 1. Publication ID: e18f3385-bb2a-411c-88ac-61cf1297e289. Prepared by gpt-6-luna; grounding review by gpt-6-luna. Source check: uncertain by anthropic/claude-opus-5.5 on 2026-11-08T05:47:54.600Z. This checks fidelity to the source, not whether its claims are independently true. Editorial selection: accept; reasons: material\_development. Observation: 400411d98082bb74bdb54579b15b9d809ce467d3a48a934b703b112757a83e8e. Source text hash: 85995b19b51687940d03609e89fdce1cdbbf6eed6010f2e0414d13b0d787f7a9. ## Revision and source-check history ### Version 1 — 2026-11-08T05:47:54.600Z 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. ## Original source arXiv cs.AI · Article Original source date: Nov 4, 2026 (2026-11-04). Date basis: Date basis not provided. Added to Escape Meridian: 2026-11-08T05:47:54.600Z. First observed: 2026-11-06T05:03:33.218Z. Retrieved: 2026-11-08T05:33:56.767Z. - [Synthesizing symbolic models of human and machine reasoning at scale](https://arxiv.org/abs/2611.07088) ## Limits The available evidence is the arXiv abstract; it does not provide the study methods, detailed results, or evidence about how broadly the findings generalize. ## Open question How do available resources affect the shared reasoning patterns, and how far do the reported patterns extend beyond the problems studied? ## Source-stated The authors introduce BCSS as an automated search method for interpretable, deterministic symbolic programs that reproduce behavior. > an approach for automated search of interpretable, deterministic symbolic programs that verifiably reproduce behavior - [Supporting source](https://arxiv.org/abs/2611.07088) ## Source-stated They apply BCSS to model human and machine behavior across hundreds of challenging reasoning problems. > apply it to model both human and machine behavior across hundreds of challenging reasoning problems - [Supporting source](https://arxiv.org/abs/2611.07088) ## Source-stated The authors report that people and machines tend to oversimplify, use rules that only partly explain observations, and misinfer dependencies between problem features. > both people and machines tend to oversimplify, adopt rules that are partial explanations for their observations, and misinfer dependencies between problem features - [Supporting source](https://arxiv.org/abs/2611.07088) ## Source-stated The authors say these shared patterns vary with available resources and interpret them as pointing to mechanisms reminiscent of satisficing. > These shared signatures are modulated by available resources - [Supporting source](https://arxiv.org/abs/2611.07088) ## Source and contributor context LeGris, Solim, Mondorf, Philipp, Jin, Jinran, Jagadish, Akshay K., Lake, Brenden M., Gureckis, Todd M. · Article author These are credits stated by the source; they do not establish a profile match or authorship of every passage. ## Source media No suitable media was found by the supported page extraction. ## Terms and references Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement. ## arXiv arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed. - [Explore this context](/entities/arxiv) - [Reference](https://arxiv.org/) - [Reference](https://info.arxiv.org/help/api/index.html) ## Editorial provenance Version 1. Publication ID: e18f3385-bb2a-411c-88ac-61cf1297e289. Prepared by gpt-6-luna; grounding review by gpt-6-luna. Source check: uncertain by anthropic/claude-opus-5.5 on 2026-11-08T05:47:54.600Z. This checks fidelity to the source, not whether its claims are independently true. Editorial selection: accept; reasons: material\_development. Observation: 400411d98082bb74bdb54579b15b9d809ce467d3a48a934b703b112757a83e8e. Source text hash: 85995b19b51687940d03609e89fdce1cdbbf6eed6010f2e0414d13b0d787f7a9. ### uncertain — 2026-11-08T05:47:54.600Z — anthropic/claude-opus-5.5 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. ## Recorded references Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter. No public references recorded here yet. [Reference data (JSON)](/readings/414c255a25dc94a913f5574bae1ad235a23dd671fc3627d1d98b9997c29cd876/references.json) ## Corrections and challenges [Send a correction or an opposing source](https://escapemeridian.com/corrections/) [JSON record](https://escapemeridian.com/readings/arxiv-cs-ai-synthesizing-symbolic-models-of-human-and-machine-414c255a.json)