Machine Learning, AI, Deep Learning, Ai Safety.
(used to assess consistency with the specification). This can be understood geometrically — we can bound (e.g., using interval bound propagation; Ehlers 2017, Katz et al. 2017, Mirman et al., 2018) the worst violation of a specification by bounding the space of outputs given a set of inputs. If