Machine Intelligence Research Institute
Tsvi Benson-Tilsen works on the foundations of rational agency, including logical uncertainty, logical counterfactuals, and reflectively stable decision making, as well as other questions of AI alignment. Before joining MIRI as a full-time researcher, he collaborated on “Logical Induction”. Tsvi holds a BSc in Mathematics with honors from the University of Chicago, and is on leave from the UC Berkeley Group in Logic and the Methodology of Science PhD program. Tsvi joined MIRI in June 201
This person is not in any offices
Machine Intelligence Research Institute
The MIRI is focused on developing the mathematical theory of trustworthy reasoning for advanced autonomous AI systems.