Machine Learning

DeepMath
IBM Research, Yorktown Heights
IBM-Oxford Symposium
Institute of Advanced Study
KU Leuven Institute for Artificial Intelligence