M. Lechner, “Learning verifiable representations,” Institute of Science and Technology Austria, 2022.