The catalog, page 41
Records 10,001 to 10,250 of 10,618. Explained and Verified records first, then newest. Every row carries the label that says how far the checking went.
-
New Paper: “Program Equilibrium in the Prisoner’s Dilemma via Löb’s Theorem”
Listed -
Paul Christiano – Machine intelligence and capital accumulation
Listed -
Christof Koch and Stuart Russell on machine superintelligence
Listed -
Exponential and non-exponential trends in information technology
Listed -
Benjamin Pierce on clean-slate security architectures
Listed -
Michael Fisher on verifying autonomous systems
Listed -
Harry Buhrman on quantum algorithms and cryptography
Listed -
Liveblogging the SV Gives Fundraiser
Listed -
New paper: “Problems of self-reference in self-improving space-time embedded intelligence”
Listed -
Calling all MIRI supporters for unique giving opportunity!
Listed -
Kasper Stoy on self-reconfigurable robots
Listed - Listed
-
New Paper: “The errors, insights, and lessons of famous AI predictions”
Listed -
Suresh Jagannathan on higher-order program verification
Listed -
Ruediger Schack on quantum Bayesianism
Listed -
David J. Atkinson on autonomous systems
Listed -
Help MIRI in a Massive 24-Hour Fundraiser on May 6th
Listed -
Domitilla del Vecchio on hybrid control for autonomous vehicles
Listed -
Roland Siegwart on autonomous mobile robots
Listed -
Ariel Procaccia on economics and computation
Listed -
Dave Doty on algorithmic self-assembly
Listed -
Martin Hilbert on the world’s information capacity
Listed -
Suzana Herculano-Houzel on cognitive ability and brain size
Listed - Listed
-
AI risk, new executive summary
Listed -
Thomas Bolander on self-reference and agent introspection
Listed -
Botworld: a cellular automaton for studying self-modifying agents embedded in their environment
Listed -
Jonathan Millen on covert channel communication
Listed - Listed
- Listed
-
Wolf Kohn on hybrid systems control
Listed -
Limitations and risks of machine ethics
Listed -
Diana Spears on the safety of adaptive agents
Listed -
Paulo Tabuada on program synthesis for cyber-physical systems
Listed -
Will MacAskill on normative uncertainty
Listed -
Siren worlds and the perils of over-optimised search
Listed -
Enabling Automatic Certification of Online Auctions
Listed -
Erik DeBenedictis on supercomputing
Listed - Listed
-
Anil Nerode on hybrid systems control
Listed - Listed
-
Michael Carbin on integrity properties in approximate computing
Listed -
Randal Koene on whole brain emulation
Listed -
Max Tegmark on the mathematical universe
Listed - Listed
- Listed
-
Toby Walsh on computational social choice
Listed -
Randall Larsen and Lynne Kidder on USA bio-response
Listed -
John Ridgway on safety-critical systems
Listed -
David Cook on the VV&A process
Listed -
How to Study Unsafe AGI's safely (and why we might have no choice)
Listed -
Robert Constable on correct-by-construction programming
Listed -
Anders Sandberg on Space Colonization
Listed -
Armando Tacchella on Safety in Future AI Systems
Listed -
The world’s distribution of computation (initial findings)
Listed -
Nik Weaver on Paradoxes of Rational Agency
Listed - Listed
-
SUDT: A toy decision theory for updateless anthropics
Listed -
Conversation with Holden Karnofsky about Future-Oriented Philanthropy
Listed - Listed
-
2013 in Review: Friendly AI Research
Listed -
MIRI’s February 2014 Newsletter
Listed - Listed
-
André Platzer on Verifying Cyber-Physical Systems
Listed -
Conversation with Jacob Steinhardt about MIRI Strategy
Listed -
Gerwin Klein on Formal Methods
Listed -
A Fervent Defense of Frequentist Statistics
Listed -
2013 in Review: Strategic and Expository Research
Listed - Listed
-
MIRI’s Experience with Google Adwords
Listed - Listed
-
Ronald de Wolf on Quantum Computing
Listed -
Robust Cooperation: A Case Study in Friendly AI Research
Listed -
Smarter than us: The rise of machine intelligence
Listed -
Emil Vassev on Formal Verification
Listed -
Mike Frank on reversible computing
Listed - Listed
-
Existential Risk Strategy Conversation with Holden Karnofsky
Listed -
How Big is the Field of Artificial Intelligence? (initial findings)
Listed -
Google may be trying to take over the world
Listed - Listed
-
Robust Cooperation in the Prisoner’s Dilemma: Program Equilibrium via Provability Logic
Listed - Listed
-
The Second Machine Age: Work, Progress, and Prosperity in a Time of Brilliant Technologies
Listed -
Exploiting Model Equivalences for Solving Interactive Dynamic Influence Diagrams
Listed -
Want to help MIRI by investing in XRP?
Listed -
MIRI’s January 2014 Newsletter
Listed -
Reasoning About the Transfer of Control
Listed - Listed
-
MIRI strategy conversation with Steinhardt, Karnofsky, and Amodei
Listed -
Kathleen Fisher on High-Assurance Systems
Listed -
Donor Story #1: Noticing Inferential Distance
Listed -
Another Critique of Effective Altruism
Listed -
7 New Technical Reports, and a New Paper
Listed - Listed
-
Being nice to software animals and babies
Listed - Listed
-
Explaining data-driven document classifications
Listed - Listed
-
Hail Mary, value porosity, and utility diversification
Listed -
Integrating Human Observer Inferences into Robot Motion Planning
Listed -
Introduction—The Transhumanist FAQ: A General Introduction
Listed -
Justification Narratives for Individual Classifications
Listed -
Monte Carlo model of brain emulation development
Listed -
Problems of Self-reference in Self-improving Space-Time Embedded Intelligence
Listed -
Reinforcement Learning and the Reward Engineering Principle
Listed -
Safe Exploration Techniques for Reinforcement Learning – An Overview
Listed -
The ethics of artificial intelligence
Listed -
The five biggest threats to human existence
Listed -
Transhumanism and the Meaning of Life
Listed -
Unifying Logic and Probability: A New Dawn for AI?
Listed -
Unprecedented technological risks
Listed -
Visualizing and Understanding Convolutional Networks
Listed -
Who knows anything about anything about AI?
Listed - Listed
-
Convex Conditions for Strong Convexity
Listed -
Winter 2013 Fundraiser Completed!
Listed -
Building Phenomenological Bridges
Listed -
Intriguing properties of neural networks
Listed -
Josef Urban on Machine Learning and Automated Reasoning
Listed - Listed
-
Auto-Encoding Variational Bayes
Listed -
Deep Inside Convolutional Networks: Visualising Image Classification Models and Saliency Maps
Listed -
Giving the AI definition a form suitable for the engineer
Listed -
Playing Atari with Deep Reinforcement Learning
Listed -
New Paper: “Why We Need Friendly AI”
Listed -
MIRI’s December 2013 Newsletter
Listed -
Scott Aaronson on Philosophical Progress
Listed -
International cooperation vs. AI arms race
Listed -
2013 Winter Matching Challenge
Listed -
New Paper: “Predicting AGI: What can we say when we know so little?”
Listed - Listed
-
New Paper: “Racing to the Precipice”
Listed -
MIRI’s November 2013 Newsletter
Listed - Listed
-
Visualizing and Understanding Convolutional Networks
Listed -
Support MIRI by Shopping at AmazonSmile
Listed -
Greg Morrisett on Secure and Reliable Systems
Listed -
From Philosophy to Math to Engineering
Listed -
Kidnapping and the game of Chicken
Listed -
Lone Genius Bias and Returns on Additional Researchers
Listed -
Robin Hanson on Serious Futurism
Listed -
New Paper: “Embryo Selection for Cognitive Enhancement”
Listed -
Markus Schmidt on Risks from Novel Biotechnologies
Listed -
Bas Steunebrink on Self-Reflective Programming
Listed -
Game Theory with Translucent Players
Listed -
Probabilistic Metamathematics and the Definability of Truth
Listed -
Hadi Esmaeilzadeh on Dark Silicon
Listed -
Russell and Norvig on Friendly AI
Listed -
Ben Goertzel on AGI as a Field
Listed - Listed
-
Distributed Representations of Words and Phrases and their Compositionality
Listed - Listed
-
Empowerment -- an Introduction
Listed - Listed
-
Mathematical Proofs Improve But Don’t Guarantee Security, Safety, and Friendliness
Listed -
Upcoming Talks at Harvard and MIT
Listed -
I played the AI Box Experiment again! (and lost both games)
Listed -
Paul Rosenbloom on Cognitive Architectures
Listed -
Probability, knowledge, and meta-probability
Listed -
Double Your Donations via Corporate Matching
Listed -
Effective Altruism and Flow-Through Effects
Listed -
How well will policy-makers handle AGI? (initial findings)
Listed - Listed
-
The Ultimate Newcomb's Problem
Listed -
Laurent Orseau on Artificial General Intelligence
Listed -
Five Theses, Using Only Simple Words
Listed -
I attempted the AI Box Experiment again! (And won - Twice!)
Listed -
How effectively can we plan for future decades? (initial findings)
Listed -
The Hanson-Yudkowsky AI-Foom Debate is now available as an eBook!
Listed -
Stephen Hsu on Cognitive Genomics
Listed -
MIRI’s November 2013 Workshop in Oxford
Listed -
Holden Karnofsky on Transparent Research Analyses
Listed -
Transparency in Safety-Critical Systems
Listed -
Three Impacts of Machine Intelligence
Listed -
2013 Summer Matching Challenge Completed!
Listed -
Formalization, Mechanization and Automation of Gödel's Proof of God's Existence
Listed -
Game Theory with Translucent Players
Listed -
Luke at Quixey on Tuesday (Aug. 20th)
Listed -
August Newsletter: New Research and Expert Interviews
Listed - Listed
- Listed
-
Benja Fallenstein on the Löbian Obstacle to Self-Modifying Systems
Listed -
“Algorithmic Progress in Six Domains” Released
Listed -
Action, Outcome, and Value: A Dual System Framework for Morality
Listed -
AI Risk and the Security Mindset
Listed -
Man and Machine: Questions of Risk, Trust and Accountability in Today's AI Technology
Listed - Listed
- Listed
-
Nick Beckstead on the Importance of the Far Future
Listed -
Roman Yampolskiy on AI Safety Engineering
Listed -
James Miller on Unusual Incentives Facing AGI Companies
Listed -
MIRI’s July Newsletter: Fundraiser and New Papers
Listed -
2013 Summer Matching Challenge!
Listed -
A Knowledge-based Treatment of Human-Automation Systems
Listed -
Evidential Decision Theory, Selection Bias, and Reference Classes
Listed - Listed
-
MIRI’s September 2013 Workshop
Listed -
Responses to Catastrophic AGI Risk: A Survey
Listed -
For FAI: Is "Molecular Nanotechnology" putting our best foot forward?
Listed - Listed
-
Why do theists, undergrads, and Less Wrongers favor one-boxing on Newcomb?
Listed - Listed
-
Do Earths with slower economic growth have a better chance at FAI?
Listed - Listed
-
New Research Page and Two New Articles
Listed -
Robust Cooperation in the Prisoner's Dilemma
Listed -
Friendly AI Research as Effective Altruism
Listed -
Mahatma Armstrong: CEVed to death.
Listed -
MIRI May Newsletter: Intelligence Explosion Microeconomics and Other Publications
Listed -
New Transcript: Yudkowsky and Aaronson
Listed -
Sign up for DAGGRE to improve science & technology forecasting
Listed -
Four Articles Added to Research Page
Listed - Listed
-
Advise MIRI with Your Domain-Specific Expertise
Listed -
Pascal's Muggle: Infinitesimal Priors and Strong Evidence
Listed -
Five theses, two lemmas, and a couple of strategic implications
Listed -
AGI Impact Experts and Friendly AI Experts
Listed -
New report: Intelligence Explosion Microeconomics
Listed -
“Intelligence Explosion Microeconomics” Released
Listed -
“Singularity Hypotheses” Published
Listed -
Altair’s Timeless Decision Theory Paper Published
Listed - Listed
-
MIRI’s April newsletter: Relaunch Celebration and a New Math Result
Listed -
Facing the Intelligence Explosion ebook
Listed - Listed
-
Formal Verification of Distributed Aircraft Controllers
Listed - Listed
-
A Backwards View for Assessment
Listed -
A Difficulty in the Concept of CEV
Listed -
An Empirical Comparison of Three Inference Methods
Listed -
Dempster-Shafer vs. Probabilistic Logic
Listed -
Generating Decision Structures and Causal Explanations for Decision Making
Listed - Listed
-
Integrating Logical and Probabilistic Reasoning for Decision Making
Listed -
Reasoning About Beliefs and Actions Under Computational Resource Constraints
Listed -
When Should a Decision Maker Ignore the Advice of a Decision Aid?
Listed - Listed
-
Early draft of naturalistic reflection paper
Listed -
An Approximate Nonmyopic Computation for Value of Information
Listed -
Probability Estimation in Face of Irrelevant Information
Listed -
AI prediction case study 5: Omohundro's AI drives
Listed - Listed
-
Pairwise Independence vs. Independence
Listed -
A problem with "playing chicken with the universe" as an approach to UDT
Listed - Listed
-
Upcoming MIRI Research Workshops
Listed -
A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging
Listed -
Constructing Lower Probabilities
Listed -
Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams
Listed