← Authors

Pushmeet Kohli

88 papers · 2009–2025 · 12 conferences · across top CS/AI conferences

Achievements

πŸ—ΊοΈ Taxonomy Completionist (23) 🐝 Cross-Pollinator (14) πŸƒ Academic Marathon (16) 🌍 Conference Polyglot (12) 🐣 Hot Topic Early Bird 🌈 Renaissance Researcher (6) πŸŒ‰ Interdisciplinary Bridge 🧭 Keyword Pioneer 🌟 Keyword Trendsetter Combo (8) 🏠 Conference Loyalist (22) πŸ‘‘ Triple Crown 🌱 Topic Pioneer πŸ”¬ Deep Specialist (18) πŸ† Keyword Champion (2) 🀝 Dynamic Duo (13) ❓ The Questioner (3) πŸ—ƒοΈ Keyword Collector (74) πŸ“ˆ Trend Setter πŸš€ Conference Pioneer πŸ’Ž Century Club (88) ⚑ Prolific Year (14) πŸ”₯ Unstoppable (12)

Conferences

NIPS (22) CVPR (16) ICLR (16) ICML (10) AISTATS (6) ICCV (6) EMNLP (3) IJCAI (3) NAACL (2) UAI (2) IJCNLP (1) JMLR (1)

Top co-authors

Sven Gowal (13) Po-Sen Huang (11) Robert Stanforth (10) Krishnamurthy Dvijotham (9) Krishnamurthy (Dj) Dvijotham (7) Jonathan Uesato (7) Chongli Qin (7) Rudy Bunel (6) Dhruv Batra (6) Jiajun Wu (6)

Keywords

adversarial robustness (11) formal verification (8) neural network (7) scene understanding (6) neural network verification (6) generative model (5) map inference (5) conditional random field (4) adversarial training (4) image segmentation (4) graphical model (4) structured prediction (4) adversarial attack (4) interval bound propagation (3) decision forest (3) semantic segmentation (3) bayesian optimization (3) ensemble learning (3) gaussian process (3) disentangled representation (3)

Papers

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