no code implementations • 7 Jan 2024 • Evan Ryan Gunter, Yevgeny Liokumovich, Victoria Krakovna
In our first case of interest--near-optimal policies--we use a bisimulation metric on MDPs to prove that small perturbations won't make the agent take longer to shut down.
no code implementations • 23 Dec 2020 • Yevgeny Liokumovich, Davi Maximo
We construct singular foliations of compact three-manifolds $(M^3, h)$ with scalar curvature $R_h\geq \Lambda_0>0$ by surfaces of controlled area, diameter and genus.
Differential Geometry Metric Geometry