Benya Fallenstein

According to our database, Benya Fallenstein authored at least 13 papers between 2002 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Uniform Coherence.

Scott Garrabrant, Benya Fallenstein, Abram Demski, Nate Soares

CoRR, 2016

A Formal Solution to the Grain of Truth Problem.

Jan Leike, Jessica Taylor, Benya Fallenstein

Proceedings of the Thirty-Second Conference on Uncertainty in Artificial Intelligence, 2016

2015

Toward Idealized Decision Theory.

Nate Soares, Benja Fallenstein

CoRR, 2015

Reflective Oracles: A Foundation for Classical Game Theory.

Benja Fallenstein, Jessica Taylor, Paul F. Christiano

CoRR, 2015

Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence.

Benja Fallenstein, Jessica Taylor, Paul F. Christiano

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Proof-Producing Reflection for HOL - With an Application to Model Polymorphism.

Benja Fallenstein, Ramana Kumar

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Two Attempts to Formalize Counterpossible Reasoning in Deterministic Settings.

Nate Soares, Benja Fallenstein

Proceedings of the Artificial General Intelligence, 2015

Reflective Variants of Solomonoff Induction and AIXI.

Benja Fallenstein, Nate Soares, Jessica Taylor

Proceedings of the Artificial General Intelligence, 2015

Corrigibility.

Nate Soares, Benja Fallenstein, Stuart Armstrong, Eliezer Yudkowsky

Proceedings of the Artificial Intelligence and Ethics, 2015

2014

Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic.

Mihály Bárász, Paul F. Christiano, Benja Fallenstein, Marcello Herreshoff, Patrick LaVictoire, Eliezer Yudkowsky

CoRR, 2014

Problems of Self-reference in Self-improving Space-Time Embedded Intelligence.

Benja Fallenstein, Nate Soares

Proceedings of the Artificial General Intelligence - 7th International Conference, 2014

2003

Storm: using P2P to make the desktop part of the web.

Benja Fallenstein, Tuomas J. Lukka, Hermanni Hyytiälä, Toni Alatalo

Proceedings of the HYPERTEXT 2003, 2003

2002

Freenet-like GUIDs for implementing xanalogical hypertext.

Tuomas J. Lukka, Benja Fallenstein

Proceedings of the HYPERTEXT 2002, 2002