Theory
1,949 items in 14 lists
-
SwiftSage: A Generative Agent with Fast and Slow Thinking for Complex Interactive Tasks arxiv.org
NeurIPS'23, 2023. [All Versions]. [Project].
-
2023. [All Versions]. [Project]. [Website]. This paper proposes CLAIRIFY, an approach that combines automatic iterative prompting with program verification to ensure programs written in data-scarce domain-specific language are syntactically valid and incorporate environment…
-
CORWA: A Citation-Oriented Related Work Annotation Dataset arxiv.org
NAACL'22, 2022. [All Versions].
-
A Grammar of Hypotheses for Visualization, Data, and Analysis arxiv.org
2022. [All Versions]. This work presents a grammar for expressing hypotheses in visual data analysis to formalize the previously abstract notion of "analysis tasks." Through the lens of this grammar, the authors lay the groundwork for how a user's data analysis questions can be…
-
The Quest for a Common Model of the Intelligent Decision Maker arxiv.org
Multi-disciplinary Conference on Reinforcement Learning and Decision Making'22, 2022. [All Versions]. Richard Sutton's perspective on the future directions of reinforcement learning research.
-
Learning to Act and Observe in Partially Observable Domains arxiv.org
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.
-
Why Generalization in RL is Difficult: Epistemic POMDPs and Implicit Partial Observability arxiv.org
NeurIPS'21, 2021. [All Versions]. A formal treatment on the generalization problem in reinforcement learning.
-
Automated Biodesign Engineering by Abductive Meta-Interpretive Learning arxiv.org
AAAI Spring Symposium Series 2021 on Artificial Intelligence for Synthetic Biology, 2021. [All Versions]. This work proposes an automated biodesign engineering framework empowered by Abductive Meta-Interpretive Learning (MetaAbd), a novel machine learning approach that combines…
-
Grounding Physical Concepts of Objects and Events Through Dynamic Visual Reasoning arxiv.org
ICLR'21, 2021. [All Versions].
-
ICML'21, 2021. [All Versions].
-
Exploring Urban Form Through Openstreetmap Data: A Visual Introduction arxiv.org
Urban Experience and Design: Contemporary Perspectives on Improving the Public Realm, 2020. [All Versions]. [OSMnx Tool]. [OpenStreetMap Website].
-
Inductive logic programming at 30: a new introduction arxiv.org
Journal of Artificial Intelligence Research, 2020. [All Versions]. A 30-year comprehensive review on Inductive Logic Programming.
-
Learning Task-General Representations with Generative Neuro-Symbolic Modeling arxiv.org
ICLR'21, 2021. [All Versions].
-
Discovering Symbolic Models from Deep Learning with Inductive Biases arxiv.org
NeurIPS'20, 2020. [All Versions].
-
ICML'20, 2020. [All Versions].
-
Compositionality and Generalization in Emergent Languages arxiv.org
ACL'20, 2020. [All Versions].
-
Generating new concepts with hybrid neuro-symbolic models. arxiv.org
CogSci'20, 2020. [All Versions].
-
3D dynamic scene graphs: Actionable spatial perception with places, objects, and humans arxiv.org
RSS'20, 2020. [All Versions]. This paper presents a unified representation for actionable spatial perception: 3D Dynamic Scene Graphs. Scene graphs are directed graphs where nodes represent entities in the scene (e.g. objects, walls, rooms), and edges represent relations (e.g…
-
X-ToM: Explaining with Theory-of-Mind for Gaining Justified Human Trust arxiv.org
CVPR XAI Workshop'19, 2019. [All Versions]. This work presents a new explainable AI (XAI) framework aimed at increasing justified human trust and reliance in the AI machine through explanations. The authors pose explanation as an iterative communication process, i.e. dialog…
-
From Language to Goals: Inverse Reinforcement Learning for Vision-Based Instruction Following arxiv.org
ICLR'19, 2019. [All Versions].
-
Learning to Make Analogies by Contrasting Abstract Relational Structure arxiv.org
ICLR'19, 2019. [All Versions].
-
Human few-shot learning of compositional instructions arxiv.org
CogSci'19, 2019. [All Versions].
-
A Tutorial on Bayesian Optimization arxiv.org
2018. [All Versions]. Bayesian optimization is an approach to optimizing objective functions that take a long time (minutes or hours) to evaluate. It is best-suited for optimization over continuous domains of less than 20 dimensions, and tolerates stochastic noise in function…
-
DeepProbLog: Neural Probabilistic Logic Programming arxiv.org
NeurIPS'18, 2018. [All Versions]. The original paper on neuro-symbolic probabilistic programming.
-
Reinforcement Learning and Control as Probabilistic Inference: Tutorial and Review arxiv.org
2018. [All Versions]. [Slides]. Sergey Levine's tutorial on treating reinforcement learning probabilisticly.
-
Emergent communication through negotiation arxiv.org
ICLR'18, 2018. [All Versions].
-
UCB Exploration via Q-Ensembles arxiv.org
2017. [All Versions].
-
Unsupervised Representaton Learning with Deep Convolutional Generative Adversarial Networks arxiv.org
ICLR'16, 2016. [All Versions].
-
Design Guidelines for Domain Specific Languages arxiv.org
OOPSLA Workshop on Domain-Specific Modeling (DSM' 09), 2009. [All Versions]. Designing a new domain specific language is as any other complex task sometimes error-prone and usually time consuming, especially if the language shall be of high-quality and comfortably usable…
-
On the information bottleneck theory of deep learning artemyk.github.io
Journal of Statistical Mechanics: Theory and Experiment, 2019. [All Versions].
-
Experimental Games and Social Decision Making annualreviews.org
Annual Review of Psychology, 2021. [All Versions]. Experimental games model situations in which the future outcomes of individuals and groups depend on their own choices and on those of other (groups of) individuals. Games are a powerful tool to identify the neural and…
-
Experiments with More Than One Random Factor: Designs, Analytic Models, and Statistical Power annualreviews.org
Annual Review of Psychology, 2017. [All Versions]. A comprehensive review of the quantitative analysis techniques for behavioral studies.
-
Integrated Task and Motion Planning annualreviews.org
Annual Review of Control, Robotics, and Autonomous Systems, 2021. [All Versions]. The problem of planning for a robot that operates in environments containing a large number of objects, taking actions to move itself through the world as well as to change the state of the…
-
Object Perception as Bayesian Inference annualreviews.org
Annual Review of Psychology, 2004. [All Versions]. [Preprint]. We perceive the shapes and material properties of objects quickly and reliably despite the complexity and objective ambiguities of natural images. Typical images are highly complex because they consist of many…
-
Logical reduction of metarules andrewcropper.com
Machine Learning, 2019. [All Versions].
-
Learning higher-order logic programs andrewcropper.com
Machine Learning, 2019. [All Versions].
-
Learning efficient logic programs andrewcropper.com
Machine Learning, 2018. [All Versions].
-
Playgol: Learning Programs Through Play andrewcropper.com
IJCAI'19, 2019. [All Versions].
-
Learning Higher-Order Logic Programs through Abstraction and Invention andrewcropper.com
IJCAI'16, 2016. [All Versions].
-
Learning Efficient Logical Robot Strategies Involving Composable Objects andrewcropper.com
IJCAI'15, 2015. [All Versions].
-
Forgetting to Learn Logic Programs andrewcropper.com
AAAI'20, 2020. [All Versions].
-
Reinforcement learning: An introduction andrew.cmu.edu
MIT Press, 2018. [All Versions]. Richard Sutton's comprehensive book on reinforcement learning.
-
A tale of three probabilistic families: Discriminative, descriptive, and generative models ams.org
Quarterly of Applied Mathematics, 2018. [All Versions]. [Preprint]. The pattern theory of Grenander is a mathematical framework where patterns are represented by probability models on random variables of algebraic structures. In this paper, the authors review three families of…
-
Statistical Predicate Invention alchemy.cs.washington.edu
ICML'07, 2007. [All Versions]. This work proposes statistical predicate invention as a key problem for statistical relational learning. SPI is the problem of discovering new concepts, properties and relations in structured data, and generalizes hidden variable discovery in…
-
Verbosity: A Game for Collecting Common-Sense Facts aladdin.cs.cmu.edu
CHI'06, 2006. [All Versions].
-
Is human cognition adaptive? act-r.psy.cmu.edu
Behavioral and Brain Sciences, 1991. [All Versions]. The original paper introducing the adaptation perspective of human intelligence, the theoretical basis of the ACT cognitive architecture.
-
The Adaptive Nature of Human Categorization Behavior act-r.psy.cmu.edu
Psychological Review, 1991. [All Versions]. The original paper that relates cognitive resource limitation with Bayesian rational analysis, in the case of categorization behavior.
-
Machine Translation Using Abductive Inference aclweb.org
COLING, 1990. [All Versions]. Many existing approaches to machine translation take for granted that the information presented in the output is found somewhere in the input, and, moreover, that such information should be expressed at a single representational level, say, in…
-
Skip-Gram − Zipf + Uniform = Vector Additivity aclanthology.org
ACL'17, 2017. [All Versions].
- next page of items loading…
