Pushmeet Kohli

Scaling Wearable Foundation Models ICLR 2025 Making Sense of Raw Input (Extended Abstract) IJCAI 2022 Challenges in Detoxifying Language Models EMNLP 2021 Self-supervised Adversarial Robustness for the Low-label, High-data Regime ICLR 2021 Achieving Robustness in the Wild via Adversarial Mixing With Disentangled Representations CVPR 2020 Adversarially Robust Representations with Smooth Encoders ICLR 2020 A FRAMEWORK FOR ROBUSTNESS CERTIFICATION OF SMOOTHED CLASSIFIERS USING F-DIVERGENCES ICLR 2020 Branch and Bound for Piecewise Linear Neural Network Verification JMLR 2020 CLEVRER: Collision Events for Video Representation and Reasoning ICLR 2020 Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming NeurIPS 2020 Lagrangian Decomposition for Neural Network Verification UAI 2020 Reducing Sentiment Bias in Language Models via Counterfactual Evaluation EMNLP 2020 Reinforced Genetic Algorithm Learning for Optimizing Computation Graphs ICLR 2020 The Autoencoding Variational Autoencoder NeurIPS 2020 Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control ICLR 2020 Towards Robust Image Classification Using Sequential Attention Models CVPR 2020 Towards Verified Robustness under Text Deletion Interventions ICLR 2020 Training Generative Adversarial Networks by Solving Ordinary Differential Equations NeurIPS 2020 Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation EMNLP 2019 A Dual Approach to Verify and Train Deep Networks IJCAI 2019 Adversarial Robustness through Local Linearization NeurIPS 2019 Analysing Mathematical Reasoning Abilities of Neural Models ICLR 2019 Are Labels Required for Improving Adversarial Robustness? NeurIPS 2019 CompILE: Compositional Imitation Learning and Execution ICML 2019 Efficient Neural Network Verification with Exactness Characterization UAI 2019 Graph Matching Networks for Learning the Similarity of Graph Structured Objects ICML 2019 Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications CVPR 2019 Learning to Understand Goal Specifications by Modelling Reward ICLR 2019 Learning Transferable Graph Exploration NeurIPS 2019 Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures ICLR 2019 Scalable Verified Training for Provably Robust Image Classification ICCV 2019 Structured agents for physical construction ICML 2019 The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision ICLR 2019 Value Propagation Networks ICLR 2019 Verification of Non-Linear Specifications for Neural Networks ICLR 2019 Adversarial Risk and the Dangers of Evaluating Against Weak Attacks ICML 2018 A Unified View of Piecewise Linear Neural Network Verification NeurIPS 2018 Batched Large-scale Bayesian Optimization in High-dimensional Spaces AISTATS 2018 Can Neural Networks Understand Logical Entailment? ICLR 2018 Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis ICLR 2018 Neural-Symbolic VQA: Disentangling Reasoning from Vision and Language Understanding NeurIPS 2018 Programmatically Interpretable Reinforcement Learning ICML 2018 Batched High-dimensional Bayesian Optimization via Structural Kernel Learning ICML 2017 DeepContext: Context-Encoding Neural Pathways for 3D Holistic Scene Understanding ICCV 2017 Learning Continuous Semantic Representations of Symbolic Expressions ICML 2017 Learning Disentangled Representations with Semi-Supervised Deep Generative Models NeurIPS 2017 Learning to See Physics via Visual De-animation NeurIPS 2017 Neural Program Meta-Induction NeurIPS 2017 Neural Scene De-Rendering CVPR 2017 Raster-To-Vector: Revisiting Floorplan Transformation ICCV 2017 Realistic Dynamic Facial Textures From a Single Image Using GANs ICCV 2017 RobustFill: Neural Program Learning under Noisy I/O ICML 2017 Stabilising Experience Replay for Deep Multi-Agent Reinforcement Learning ICML 2017 Zero-Shot Task Generalization with Multi-Task Deep Reinforcement Learning ICML 2017 A Corpus and Cloze Evaluation for Deeper Understanding of Commonsense Stories NAACL 2016 Adaptive Neural Compilation NeurIPS 2016 Batched Gaussian Process Bandit Optimization via Determinantal Point Processes NeurIPS 2016 Layered Scene Decomposition via the Occlusion-CRF CVPR 2016 PerforatedCNNs: Acceleration through Elimination of Redundant Convolutions NeurIPS 2016 The Global Patch Collider CVPR 2016 Visual Storytelling NAACL 2016 Computationally Bounded Retrieval CVPR 2015 Consensus Message Passing for Layered Graphical Models AISTATS 2015 Deep Convolutional Inverse Graphics Network NeurIPS 2015 Efficient Non-greedy Optimization of Decision Trees NeurIPS 2015 Information Gathering in Networks via Active Exploration IJCAI 2015 Opening the Black Box: Hierarchical Sampling Optimization for Estimating Human Hand Pose ICCV 2015 Picture: A Probabilistic Programming Language for Scene Perception CVPR 2015 Sparse Projections for High-Dimensional Binary Codes CVPR 2015 Efficiently Enforcing Diversity in Multi-Output Structured Prediction AISTATS 2014 Filter Forests for Learning Data-Dependent Convolutional Kernels CVPR 2014 Gesture Recognition Portfolios for Personalization CVPR 2014 Just-In-Time Learning for Fast and Flexible Inference NeurIPS 2014 Multi-Output Learning for Camera Relocalization CVPR 2014 3D Scene Understanding by Voxel-CRF ICCV 2013 A Principled Deep Random Field Model for Image Segmentation CVPR 2013 Compressible Motion Fields CVPR 2013 Decision Jungles: Compact and Rich Models for Classification NeurIPS 2013 DivMCuts: Faster Training of Structural SVMs with Diverse M-Best Cutting-Planes AISTATS 2013 GeoF: Geodesic Forests for Learning Coupled Predictors CVPR 2013 Spatial Inference Machines CVPR 2013 Context-Sensitive Decision Forests for Object Detection NeurIPS 2012 Learning Low-order Models for Enforcing High-order Statistics AISTATS 2012 Multiple Choice Learning: Learning to Produce Multiple Structured Outputs NeurIPS 2012 Higher-Order Correlation Clustering for Image Segmentation NeurIPS 2011 Tighter Relaxations for MAP-MRF Inference: A Local Primal-Dual Gap based Separation Algorithm AISTATS 2011 Local Rules for Global MAP: When Do They Work ? NeurIPS 2009