Scalable Semantic Querying of Text. Using probabilistic programs as proposals. Smart City Development with Urban Transfer Learning. Target Driven Visual Navigation with Hybrid Asynchronous Universal Successor Representations. Towards Robust Training of Neural Networks by Regularizing Adversarial Gradients. A Large-Scale Multi-Institutional Evaluati …