We design probabilistic ML systems that are #provably #reliable in the #wild by combining #complex #reasoning with #efficient #inference and #learning.