Program Synthesis • Program Repair • Type prediction • Language Modelling • Probabilistic Programming • Topic Models • Variational Inference • Representation Learning • Model Compression • Document Summarization