Seminar at MIT Apr 7, 2017 Seminar at MIT I went over symbolic approaches to probabilistic inference and optimisation.