Pushmeet Kohli

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