semanticscholar8.0 / 10
Parametric Bounded Löb's Theorem and Robust Cooperation of Bounded Agents
Andrew Critch
Abstract
Demonstrates that robust cooperative equilibria exist for bounded agents and proves a generalization of Löb's theorem
Research area
agent foundationsprovable alignment guaranteesrobustness to domain shifts
Published
2016
Source
semanticscholar
Org
MIRI
Sign in to read and join the discussion.