Charles University, Prague
Faculty of Mathematics and Physics
PhD
Pittsburgh, Pennsylvania, United States of America
Areas of Specialization
Artificial Intelligence Safety
Areas of Interest
Artificial Intelligence Safety
  •  269
    Extinction Risks from AI: Invisible to Science?
    with Christiaan van Merwijk and Ida Mattsson
    In an effort to inform the discussion surrounding existential risks from AI, we formulate Extinction-level Goodhart’s Law as “Virtually any goal specification, pursued to the extreme, will result in the extinction of humanity”, and we aim to understand which formal models are suitable for investigating this hypothesis. Note that we remain agnostic as to whether Extinction-level Goodhart’s Law holds or not. As our key contribution, we identify a set of conditions that are necessary for a model th…Read more
  •  7
    Value functions for depth-limited solving in zero-sum imperfect-information games
    with Dominik Seitz, Viliam Lisý, Jan Rudolf, Shuo Sun, and Karel Ha
    Artificial Intelligence 314 (C): 103805. 2023.
  •  7
    Solving zero-sum one-sided partially observable stochastic games
    with Karel Horák, Branislav Bošanský, and Christopher Kiekintveld
    Artificial Intelligence 316 (C): 103838. 2023.
  •  12
    Rethinking formal models of partially observable multiagent decision making
    with Martin Schmid, Neil Burch, Michael Bowling, and Viliam Lisý
    Artificial Intelligence 303 (C): 103645. 2022.