Synthesizing theories of human language with Bayesian program induction
Nature Communications, 2022. [All Versions]. Automated, data-driven construction and evaluation of scientific models and theories is a long-standing challenge in artificial intelligence. This work presents a framework for algorithmically synthesizing models of a basic part of…
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
Synthesizing theories of human language with Bayesian program induction cap.csail.mit.edu
Nature Communications, 2022. [All Versions].
-
Shared computational principles for language processing in humans and deep language models nature.com
Nature Neuroscience, 2022. [All Versions].
-
Machine-generated theories of human decision-making cpb-us-w2.wpmucdn.com
Science, 2021. [All Versions].
-
Program Synthesis with Large Language Models arxiv.org
2021. [All Versions]. This paper explores the limits of the current generation of large language models for program synthesis in general purpose programming languages.
-
Language models and protocol standardization guidelines for accelerating synthesis planning in heterogeneous catalysis nature.com
Nature Communications, 2023. [All Versions]. This paper introduces a transformer model for automated synthesis protocol analysis in catalyst discovery, exemplified using single-atom heterogeneous catalysts (SACs), a rapidly expanding catalyst family. The model adeptly converts…
-
Theory-based Bayesian models of inductive learning and reasoning cell.com
Trends in Cognitive Sciences, 2006. [All Versions]. [Preprint]. Inductive inference allows humans to make powerful generalizations from sparse data when learning about word meanings, unobserved properties, causal relationships, and many other aspects of the world. Traditional…
AGI & CoCoSci › Papers > Domain Specific Language > DSL Program Synthesis: “Nature Communications, 2022. [All Versions]. Automated, data-driven construction and evaluation of scientific models and theories is a long-standing challenge in artificial intelligence. This work presents a framework for algorithmically synthesizing models of a basic part of…”