Highly reliable agent designs

Highly reliable agent designs is the kind of pure-math research related to agency, decision theory, etc. that is done at MIRI. (there is more nuance than this that I am too lazy to describe right now; see the MIRI research agenda for details)