Reference. The Road to General Intelligence
Cite
Cites 369 works (4 here)
With notes (4)
Towards Foundations of Categorical Cybernetics capucci-2022-towards
Compositional Game Theory ghani-2018-compositional
From parametricity to conservation laws, via Noether’s theorem atkey-2014-from
Categories for the Working Mathematician maclane_1971
External (365)
- Neural Lyapunov Model Predictive Control (2021)
- Toward Causal Representation Learning (2021)
- Robust high-dimensional memory-augmented neural networks (2021)
- Reservoir Memory Machines as Neural Computers (2021)
- Why AI is harder than we think (2021)
- Patterns of Cognition: Cognitive Algorithms as Galois Connections Fulfilled by Chronomorphisms On Probabilistically Typed Metagraphs (2021)
- Deep learning for AI (2021)
- On the Opportunities and Risks of Foundation Models (2021)
- Maschinen, die (nicht) denken (2021)
- Applying Deutsch's concept of good explanations to artificial intelligence and neuroscience – an initial exploration (2021)
- Abstraction and Analogy-Making in Artificial Intelligence (2021)
- Program Design by Calculation (2021)
- qntm (tweet, badedgecases/status/1421855808699125762) (2021)
- Digital Twin: Values, Challenges and Enablers From a Modeling Perspective (2020)
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics (2020)
- Differentiable Reasoning on Large Knowledge Bases and Natural Language (2020)
- Tustin neural networks: a class of recurrent nets for adaptive MPC of mechanical systems (2020)
- REALM: Retrieval-Augmented Language Model Pre-Training (2020)
- Agent57: Outperforming the Atari Human Benchmark (2020)
- Ethical Issues in Advanced Artificial Intelligence (2020)
- Causal Learning From Predictive Modeling for Observational Data (2020)
- An Architecture for Real-Time Reasoning and Learning (2020)
- Bayesian Updates Compose Optically (2020)
- DREAM Architecture: a Developmental Approach to Open-Ended Learning in Robotics (2020)
- Neurosymbolic AI: The 3rd Wave (2020)
- Conservative Safety Critics for Exploration (2020)
- Underspecification Presents Challenges for Credibility in Modern Machine Learning (2020)
- Difficulty of Training Sparse Neural Networks (2020)
- Acme: A Research Framework for Distributed Reinforcement Learning (2020)
- Refinement Types: A Tutorial (2020)
- Towards Continual Reinforcement Learning: A Review and Perspectives (2020)
- The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence (2020)
- Can Analogy Unlock AI's Barrier of Meaning? (talk) (2020)
- Agent57: outperforming the human Atari benchmark (blog post) (2020)
- SNODE: spectral discretization of neural ODEs for system identification (2020)
- Fast Adaptation via Policy-Dynamics Value Functions (2020)
- Rapid Task-Solving in Novel Environments (2020)
- An explicitly relational neural network architecture (2020)
- Analogy-Making as a Core Primitive in the Software Engineering Toolbox (2020)
- Flying Cars, Autonomous Vehicles, and Education (talk) (2020)
- Black Loans Matter: Distributionally Robust Fairness for Fighting Subgroup Discrimination (2020)
- Bounded rationality (Stanford Encyclopedia of Philosophy) (2020)
- Options of Interest: Temporal Abstraction with Interest Functions (2020)
- On the information bottleneck theory of deep learning* (2019)
- Grandmaster level in StarCraft II using multi-agent reinforcement learning (2019)
- Fooling Automated Surveillance Cameras: Adversarial Patches to Attack Person Detection (2019)
- Barack’s Wife Hillary: Using Knowledge Graphs for Fact-Aware Language Modeling (2019)
- Defining Artificial Intelligence (2019)
- Beyond imitation: Zero-shot task transfer on robots by learning concepts as cognitive programs (2019)
- An Invitation to Applied Category Theory: Seven Sketches in Compositionality (2019)
- The Text-Based Adventure AI Competition (2019)
- Image Schema Combinations and Complex Events (2019)
- Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire (2019)
- Memory Augmented Recursive Neural Networks (2019)
- Compositional Plan Vectors (2019)
- Making Good on LSTMs' Unfulfilled Promise (2019)
- A computational model of scientific discovery in a very simple world, aiming at psychological realism (2019)
- Stochastic program synthesis via recursion schemes (2019)
- Finite Limits and Anti-unification in Substitution Categories (2019)
- Dota 2 with Large Scale Deep Reinforcement Learning (2019)
- Megatron-LM: Training Multi-Billion Parameter Language Models Using Model Parallelism (2019)
- Solving Rubik's Cube with a Robot Hand (2019)
- Why Does Hierarchy (Sometimes) Work So Well in Reinforcement Learning? (2019)
- Improving Differentiable Neural Computers Through Memory Masking, De-allocation, and Link Distribution Sharpness Control (2019)
- Safe Interactive Model-Based Learning (2019)
- Decision procedures for linear arithmetic (2019)
- Rebooting AI: Building Artificial Intelligence We Can Trust (2019)
- Mensch-Maschine-Interaktion: Handbuch Zu Geschichte – Kultur – Ethik (2019)
- Hierarchical Reinforcement Learning with Advantage-Based Auxiliary Rewards (2019)
- Measuring compositionality in representation learning (2019)
- A Meta Understanding of Meta-Learning (2019)
- BERT: pre-training of deep bidirectional transformers for language understanding (2019)
- Neural Logic Machines (2019)
- Lenses and learners (2019)
- The State of Sparsity in Deep Neural Networks (2019)
- Adversarial Policies: Attacking Deep Reinforcement Learning (2019)
- AI is sending people to jail – and getting it wrong (2019)
- Categorical Cybernetics: A Manifesto (2019)
- Learning by abstraction: the neural state machine (2019)
- Penalizing side effects using stepwise relative reachability (2019)
- An Epidemic of AI Misinformation (2019)
- GPT-2 and the Nature of Intelligence (2019)
- Planning with goal-conditioned policies (2019)
- Language Models are Unsupervised Multitask Learners (2019)
- Benchmarking Safe Exploration in Deep Reinforcement Learning (2019)
- Analysing mathematical reasoning abilities of neural models (2019)
- Causality for Machine Learning (2019)
- Dynamics-Aware Unsupervised Discovery of Skills (2019)
- Safe exploration for interactive machine learning (2019)
- Unsupervised Visuomotor Control through Distributional Planning Networks (2019)
- Reinforcement Learning: An Introduction (2018)
- Deep Contextualized Word Representations (2018)
- Using Simulation and Domain Adaptation to Improve Efficiency of Deep Robotic Grasping (2018)
- Did the Model Understand the Question? (2018)
- Behavior Is Everything: Towards Representing Concepts with Sensorimotor Contingencies (2018)
- Strategic port graph rewriting: an interactive modelling framework (2018)
- Meta-Learning for Semi-Supervised Few-Shot Classification (2018)
- Memorize or generalize? Searching for a compositional RNN in a haystack (2018)
- NAIS-Net: Stable Deep Networks from Non-Autonomous Differential Equations (2018)
- GLUE: A Multi-Task Benchmark and Analysis Platform for Natural Language Understanding (2018)
- Generating Natural Language Adversarial Examples (2018)
- Rearranging the Familiar: Testing Compositional Generalization in Recurrent Networks (2018)
- The simple essence of automatic differentiation (2018)
- Leave no Trace: Learning to Reset for Safe and Autonomous Reinforcement Learning (2018)
- Corvid Technologies: How Do New Caledonian Crows Get Their Tool Designs? (2018)
- Robust and Scalable Differentiable Neural Computer for Question Answering (2018)
- The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks (2018)
- Generalizing to Unseen Domains via Adversarial Data Augmentation (2018)
- Scalable agent alignment via reward modeling: a research direction (2018)
- Hierarchical visuomotor control of humanoids (2018)
- QANet: Combining Local Convolution with Global Self-Attention for Reading Comprehension (2018)
- Emergent complexity via multi-agent competition (2018)
- Evaluating Compositionality in Sentence Embeddings (2018)
- Meta learning shared hierarchies (2018)
- Genetic Programming + Proof Search = Automatic Improvement (2018)
- On First-Order Meta-Learning Algorithms (2018)
- Sim-to-Real transfer of robotic control with dynamics randomization (2018)
- Serological and molecular detection of Toxoplasma gondii in sheep and goats in Kashan, Central Iran (2018)
- Categories of Optics (2018)
- Universal Planning Networks (2018)
- Subtype polymorphism à la carte via machine learning on dependent types (2018)
- Empiricism and the Limits of Gradient Descent (blog post) (2018)
- Reverse Mode Differentiation is Kind of Like a Lens II (blog post) (2018)
- Adversarial Discriminative Domain Adaptation (2017)
- Domain randomization for transferring deep neural networks from simulation to the real world (2017)
- Analogy and Abstraction (2017)
- Commonsense reasoning about containers using radically incomplete information (2017)
- Semantic closure demonstrated by the evolution of a universal constructor architecture in an artificial chemistry (2017)
- A General (Category Theory) Principle for General Intelligence: Duality (Adjointness) (2017)
- SOLVING THE NONLINEAR PENDULUM EQUATION WITH NONHOMOGENEOUS INITIAL CONDITIONS (2017)
- Model-Agnostic Meta-Learning for Fast Adaptation of Deep Networks (2017)
- Ensemble Adversarial Training: Attacks and Defenses (2017)
- Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm (2017)
- A Simple Neural Attentive Meta-Learner (2017)
- Meta-SGD: Learning to Learn Quickly for Few-Shot Learning (2017)
- To prune, or not to prune: exploring the efficacy of pruning for model compression (2017)
- Synthesizing Robust Adversarial Examples (2017)
- Neural-Symbolic Learning and Reasoning: A Survey and Interpretation (2017)
- Schema Networks: Zero-shot Transfer with a Generative Causal Model of Intuitive Physics (2017)
- Show, Ask, Attend, and Answer: A Strong Baseline For Visual Question Answering (2017)
- End-to-End Differentiable Proving (2017)
- Making Neural Programming Architectures Generalize via Recursion (2017)
- Towards Synthesizing Complex Programs from Input-Output Examples (2017)
- Divide and Conquer with Neural Networks (2017)
- Adversarial Examples for Evaluating Reading Comprehension Systems (2017)
- The Option-Critic Architecture (2017)
- Lessons from Mapping Sigma onto the Standard Model of the Mind: Self-Monitoring, Memory/Learning, and Symbols (2017)
- Minimal-Entropy Correlation Alignment for Unsupervised Deep Domain Adaptation (2017)
- Adversarial examples in the physical world (2017)
- Why Does Deep and Cheap Learning Work So Well? (2017)
- Interacting Conceptual Spaces I : Grammatical Composition of Concepts (2017)
- Population Based Training of Neural Networks (2017)
- Hindsight experience replay (2017)
- Compiling to categories (2017)
- Backprop as functor: a compositional perspective on supervised learning (2017)
- The off-switch game (2017)
- Inverse reward design (2017)
- Adversarial attacks on neural network policies (2017)
- Artificial intelligence: think again (2017)
- Block-Sparse Recurrent Neural Networks (2017)
- Category Theory in Context (2017)
- Understanding deep learning requires rethinking generalization (2017)
- The logic of experimental tests, particularly of Everettian quantum theory (2016)
- Learning the Preferences of Ignorant, Inconsistent Agents (2016)
- Mastering the game of Go with deep neural networks and tree search (2016)
- Hybrid computing using a neural network with dynamic external memory (2016)
- Crafting adversarial input sequences for recurrent neural networks (2016)
- Avoiding Wireheading with Value Reinforcement Learning (2016)
- Generative Adversarial Text to Image Synthesis (2016)
- Cooperative Inverse Reinforcement Learning (2016)
- Towards Deep Symbolic Reinforcement Learning (2016)
- Extensions and Limitations of the Neural GPU (2016)
- SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and <0.5MB model size (2016)
- Concrete Problems in AI Safety (2016)
- Who speaks for AI? (2016)
- Neural random-access machines (2016)
- Neural programmer-interpreters (2016)
- The Sigma cognitive architecture and system: Towards functionally elegant grand unification (2016)
- Universal Value Function Approximators (2015)
- Anytime Bounded Rationality (2015)
- Neural GPUs Learn Algorithms (2015)
- Categories in Control (2015)
- Explaining and Harnessing Adversarial Examples (2014)
- Unsupervised Domain Adaptation by Backpropagation (2014)
- Multimodal Neural Language Models (2014)
- The 'composite' design pattern in metaheuristics (2014)
- Sequence to Sequence Learning with Neural Networks (2014)
- Neural Machine Translation by Jointly Learning to Align and Translate (2014)
- Computational Approaches to Analogical Reasoning: Current Trends (2014)
- Sapiens: A Brief History of Humankind (2014)
- The Geometry of Meaning: Semantics Based on Conceptual Spaces (2014)
- Neural Turing Machines (2014)
- Structural stigmergy: a speculative pattern language for metaheuristics (2014)
- Basic Category Theory (2014)
- Category Theory Using String Diagrams (2014)
- Bounded seed-AGI (2014)
- Deconstructing episodic memory and learning in Sigma (2014)
- Heuristic-Driven Theory Projection: An Overview (in Computational Approaches to Analogical Reasoning) (2014)
- Learning to Execute (2014)
- Surfaces and Essences: Analogy as the fuel and fire of thinking (2013)
- Intriguing properties of neural networks (2013)
- Non-axiomatic Logic: A Model Of Intelligent Reasoning (2013)
- Bounded Recursive Self-Improvement (2013)
- First experiments with PowerPlay (2013)
- Resource-Bounded Machines are Motivated to be Effective, Efficient, and Curious (2013)
- Time-Dependent Utility and Action Under Uncertainty (2013)
- Essentials of Metaheuristics (2013)
- Distributed representations of words and phrases and their compositionality (2013)
- Scalarized multi-objective reinforcement learning: novel design techniques (2013)
- The Oxford Handbook of Compositionality (2012)
- A History of First Step Fallacies (2012)
- Categorial Compositionality III: F-(co)algebras and the Systematicity of Recursive Capacities in Human Cognition (2012)
- Deconstructing Reinforcement Learning in Sigma (2012)
- Cell Psychology: An Evolutionary Approach to the Symbol-Matter Problem (in Laws, Language and Life) (2012)
- Delusion, Survival, and Intelligent Agents (2011)
- Understanding as representation manipulability (2011)
- The Fabric of Reality (2011)
- POWERPLAY: Training an Increasingly General Problem Solver by Continually Searching for the Simplest Still Unsolvable Problem (2011)
- Anti-unification Algorithms and Their Applications in Program Analysis (2010)
- Computational models of analogy (2010)
- Cybernetics, Automata Studies, and the Dartmouth Conference on Artificial Intelligence (2010)
- Multilevel Darwinist Brain (MDB): Artificial Evolution in a Cognitive Architecture for Real Robots (2010)
- Causality: models, reasoning, and inference (2010)
- The Epistemic Value of Understanding (2009)
- Embodiment: Does a laptop have a body? (2009)
- Artificial intelligence: A modern approach (2009)
- What is answer set programming (2008)
- Reachability in Linear Dynamical Systems (2008)
- On the Hardness of Computing Intersection, Union and Minkowski Sum of Polytopes (2008)
- Kantian Philosophy of Mathematics and Young Robots (2008)
- Reinventing the sacred: a new view of science, reason, and religion (2008)
- Solving Proportional Analogies by E–Generalization (2007)
- Universal Intelligence: A Definition of Machine Intelligence (2007)
- The Motivational and Metacognitive Control in CLARION (2007)
- The Behavioral Approach to Open and Interconnected Systems (2007)
- Combinators for bi-directional tree transformations: a linguistic approach to the view update problem (2007)
- An image-schematic account of spatial categories (2007)
- Pattern Recognition and Machine Learning (Information Science and Statistics) (2006)
- Representation as a Fluent: An AI Challenge for the Next Half Century (2006)
- Fundamentals of Algebraic Graph Transformation (2006)
- An Image Schema Language (2006)
- Mathematical models of cognitive space and time (2006)
- Dynamic Computation and Context Effects in the Hybrid Architecture AKIRA (2005)
- Advanced Topics in Types and Programming Languages (2004)
- Invertebrate Learning: What Can't a Worm Learn? (2004)
- Apprenticeship learning via inverse reinforcement learning (2004)
- Ant Colony Optimization (2004)
- Operant Reward Learning in Aplysia (2003)
- Metaheuristics in combinatorial optimization: overview and conceptual comparison (2003)
- Gödel machines: self-referential universal problem solvers making provably optimal self-improvements (2003)
- Types and Programming Languages (2002)
- Relabelling in Graph Transformation (2002)
- Beyond Simple Rule Extraction: Acquiring Planning Knowledge from Neural Networks (2002)
- The way we think: conceptual blending and the mind's hidden complexities (2002)
- Hierarchical Graph Transformation (2002)
- Probability, Random Variables, and Stochastic Processes (2002)
- The irrelevance of Turing machines to AI (2002)
- Structure and Interpretation of Classical Mechanics (2001)
- Chunking mechanisms in human learning (2001)
- Where mathematics comes from: how the embodied mind brings mathematics into being (2001)
- Analogy as the core of cognition (2001)
- Simulating context effects in problem solving with AMBR (2001)
- Jakob von Uexküll and the origins of cybernetics (2001)
- The Algebraic Mind (2001)
- Cambrian Intelligence: The Early History of the New AI (2000)
- Conceptual spaces: the geometry of thought (2000)
- A Theory of Universal Artificial Intelligence based on Algorithmic Complexity (2000)
- BEYOND THE COMPUTER METAPHOR: BEHAVIOR AS INTERACTION (1999)
- Multiple paired forward-inverse models for human motor learning and control (1999)
- Interactively converging on context-sensitive representations: a solution to the frame problem (1999)
- Constrained connectionism and the limits of human semantics (1999)
- An introduction to algebraic semiotics, with application to user interface design (1999)
- A Tutorial on the Universality and Expressiveness of Fold (1999)
- Mars Climate Orbiter Mishap Investigation Board Phase I Report (1999)
- Term Rewriting and All That (1998)
- The extended mind (1998)
- Representing actions in logic programs and default theories a situation calculus approach (1997)
- The human semantic potential: Spatial language and constrained connectionism (1997)
- Algebra of Programming (1997)
- On the Learnability of the Uncomputable (1996)
- The subtlety of sameness: a theory and computer model of analogy-making (1996)
- The continuous reactive tabu search: Blending combinatorial optimization and stochastic search for global optimization (1996)
- An interview with Donald Knuth (1996)
- Evolving Self-reference: Matter, Symbols, and Semantic Closure (1995)
- Lifelong Robot Learning (1995)
- To Seek Whence Cometh a Sequence (in Fluid Concepts and Creative Analogies) (1995)
- The Copycat Project: A Model of Mental Fluidity and Analogy-Making (in Fluid Concepts and Creative Analogies) (1995)
- The collapse of chaos: discovering simplicity in a complex world (1994)
- Deliberation scheduling for problem solving in time-constrained environments (1994)
- The DUAL Cognitive Architecture: A Hybrid Multi-Agent Approach (1994)
- The reactive tabu search (1994)
- Categories for Types (1994)
- Design Patterns: Elements of Reusable Object-Oriented Software (1994)
- Learning to Achieve Goals (1993)
- Hypergraph rewriting: critical pairs and undecidability of confluence (1993)
- Multilayer feedforward networks with a nonpolynomial activation function can approximate any function (1993)
- Genetic Programming: On the Programming of Computers by Means of Natural Selection (1992)
- Basic category theory for computer scientists (1992)
- Made-up minds: a constructivist approach to artificial intelligence (1992)
- The Origins of Order: Self-Organization and Selection in Evolution (1992)
- Approximation by superpositions of a sigmoidal function (1992)
- A theory of abstraction (1992)
- Gödel's Incompleteness Theorems (1992)
- Intelligence without representation (1991)
- Elephants don't play chess (1990)
- A GENERAL-THEORY FOR ABSTRACTION (1990)
- The symbol grounding problem (1990)
- Artificial Intelligence (2nd edition) (1990)
- Scheduling factories of the future (1989)
- What is unification? A categorical view of substitution, equation and solution (1989)
- The Body in the Mind: The Bodily Basis of Meaning, Imagination, and Reason (1988)
- Algorithmic information theory (1988)
- Women, Fire, and Dangerous Things: What Categories Reveal about the Mind (1988)
- Induction: Processes of Inference, Learning, and Discovery (1987)
- A robust layered control system for a mobile robot (1986)
- CYC: Using common sense knowledge to overcome brittleness and knowledge acquistion bottlenecks (1986)
- Artificial Intelligence: The Very Idea (1985)
- Problems of Monetary Management: The UK Experience (1984)
- Intuitionistic Type Theory (1984)
- Shakey the Robot (1984)
- Optimization by Simulated Annealing (1983)
- Simple Word Problems in Universal Algebras (1983)
- A categorical approach to probability theory (1982)
- Some Philosophical Problems from the Standpoint of Artificial Intelligence (1981)
- Autopoiesis and Cognition: The Realization of the Living (1980)
- A Calculus of Communicating Systems (1980)
- Metaphors We Live By (1980)
- The Ecological Approach To Visual Perception (1979)
- Gödel, Escher, Bach: An Eternal Golden Braid (1979)
- MYCIN: a knowledge-based consultation program for infectious disease diagnosis (1978)
- Why not the whole Iguana? (1978)
- PROSPECTOR—A computer-based consultation system for mineral exploration (1977)
- Scripts, Plans, Goals, and Understanding: An Inquiry Into Human Knowledge Structures (1977)
- Behavior: The Control of Perception (1975)
- The Language of Thought (1975)
- Artificial Intelligence: A General Survey (1973)
- Understanding natural language (1972)
- Definitional interpreters for higher-order programming languages (1972)
- Structural Stability and Morphogenesis: An Outline of a General Theory of Models (1972)
- The Heuristic DENDRAL program for explaining empirical data (1971)
- Biologie et connaissance (1971)
- Falsification and the methodology of scientific research programmes (in Criticism and the Growth of Knowledge) (1970)
- A note on inductive generalization (1970)
- PLANNER: a language for proving theorems in robots (1969)
- Perceptrons: An Introduction to Computational Geometry (1969)
- Instrumental conditioning of the fruit fly, Drosophila melanogaster (1967)
- Conjectures and Refutations: The Growth of Scientific Knowledge (1965)
- A guide to the general problem-solver program GPS (1963)
- British Annual Gathering of MENSA (annual lecture) (1962)
- The unreasonable effectiveness of mathematics in the natural sciences (1960)
- Design for a Brain (1960)
- A proposal for the Dartmouth summer research project on artificial intelligence (1955)
- The Psychology of Intelligence (1950)
- Theory of Games and Economic Behavior (1946)
- Behavior, Purpose and Teleology (1943)
- A formulation of the simple theory of types (1940)
- Aristotle: The Organon (1938)
- The Force exerted by the Stellar System in the Direction perpendicular to the Galactic Plane and some related Problems (1932)
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (1931)
- The Voyages of Doctor Dolittle (1922)
- Tractatus Logico-Philosophicus (1922)
- On Growth and Form (1917)
- The Reflex Arc Concept In Psychology (1897)
- 9 to 5 (song video)
- Functorial Dynamics and Interaction: A Computational Design Environment (grant proposal)