Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Value Under Ignorance in Universal Artificial Intelligence
Cole Wyeth, Marcus Hutter
We generalize the AIXI reinforcement learning agent to admit a wider class of utility functions. Assigning a utility to each possible interaction history forces us to confront the…
cs.AI2025
Formalizing Embeddedness Failures in Universal Artificial Intelligence
Cole Wyeth, Marcus Hutter
We rigorously discuss the commonly asserted failures of the AIXI reinforcement learning agent as a model of embedded agency. We attempt to formalize these failure modes and prove t…
cs.AI2025
Exponential Speedups by Rerooting Levin Tree Search
Laurent Orseau, Marcus Hutter, Levi H. S. Lelis
Levin Tree Search (LTS) (Orseau et al., 2018) is a search algorithm for deterministic environments that uses a user-specified policy to guide the search. It comes with a formal gua…