Alert button
Picture for Pushmeet Kohli

Pushmeet Kohli

Alert button

Evaluating the Apperception Engine

Jul 09, 2020
Richard Evans, Jose Hernandez-Orallo, Johannes Welbl, Pushmeet Kohli, Marek Sergot

Figure 1 for Evaluating the Apperception Engine
Figure 2 for Evaluating the Apperception Engine
Figure 3 for Evaluating the Apperception Engine
Figure 4 for Evaluating the Apperception Engine
Viaarxiv icon

Strong Generalization and Efficiency in Neural Programs

Jul 08, 2020
Yujia Li, Felix Gimeno, Pushmeet Kohli, Oriol Vinyals

Figure 1 for Strong Generalization and Efficiency in Neural Programs
Figure 2 for Strong Generalization and Efficiency in Neural Programs
Figure 3 for Strong Generalization and Efficiency in Neural Programs
Figure 4 for Strong Generalization and Efficiency in Neural Programs
Viaarxiv icon

Lagrangian Decomposition for Neural Network Verification

Feb 24, 2020
Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar

Figure 1 for Lagrangian Decomposition for Neural Network Verification
Figure 2 for Lagrangian Decomposition for Neural Network Verification
Figure 3 for Lagrangian Decomposition for Neural Network Verification
Figure 4 for Lagrangian Decomposition for Neural Network Verification
Viaarxiv icon

Achieving Robustness in the Wild via Adversarial Mixing with Disentangled Representations

Dec 06, 2019
Sven Gowal, Chongli Qin, Po-Sen Huang, Taylan Cemgil, Krishnamurthy Dvijotham, Timothy Mann, Pushmeet Kohli

Figure 1 for Achieving Robustness in the Wild via Adversarial Mixing with Disentangled Representations
Figure 2 for Achieving Robustness in the Wild via Adversarial Mixing with Disentangled Representations
Figure 3 for Achieving Robustness in the Wild via Adversarial Mixing with Disentangled Representations
Figure 4 for Achieving Robustness in the Wild via Adversarial Mixing with Disentangled Representations
Viaarxiv icon

Reducing Sentiment Bias in Language Models via Counterfactual Evaluation

Nov 08, 2019
Po-Sen Huang, Huan Zhang, Ray Jiang, Robert Stanforth, Johannes Welbl, Jack Rae, Vishal Maini, Dani Yogatama, Pushmeet Kohli

Figure 1 for Reducing Sentiment Bias in Language Models via Counterfactual Evaluation
Figure 2 for Reducing Sentiment Bias in Language Models via Counterfactual Evaluation
Figure 3 for Reducing Sentiment Bias in Language Models via Counterfactual Evaluation
Figure 4 for Reducing Sentiment Bias in Language Models via Counterfactual Evaluation
Viaarxiv icon

Learning Transferable Graph Exploration

Oct 28, 2019
Hanjun Dai, Yujia Li, Chenglong Wang, Rishabh Singh, Po-Sen Huang, Pushmeet Kohli

Figure 1 for Learning Transferable Graph Exploration
Figure 2 for Learning Transferable Graph Exploration
Figure 3 for Learning Transferable Graph Exploration
Figure 4 for Learning Transferable Graph Exploration
Viaarxiv icon

An Alternative Surrogate Loss for PGD-based Adversarial Testing

Oct 21, 2019
Sven Gowal, Jonathan Uesato, Chongli Qin, Po-Sen Huang, Timothy Mann, Pushmeet Kohli

Figure 1 for An Alternative Surrogate Loss for PGD-based Adversarial Testing
Figure 2 for An Alternative Surrogate Loss for PGD-based Adversarial Testing
Figure 3 for An Alternative Surrogate Loss for PGD-based Adversarial Testing
Figure 4 for An Alternative Surrogate Loss for PGD-based Adversarial Testing
Viaarxiv icon

Making sense of sensory input

Oct 05, 2019
Richard Evans, Jose Hernandez-Orallo, Johannes Welbl, Pushmeet Kohli, Marek Sergot

Figure 1 for Making sense of sensory input
Figure 2 for Making sense of sensory input
Figure 3 for Making sense of sensory input
Figure 4 for Making sense of sensory input
Viaarxiv icon

CLEVRER: CoLlision Events for Video REpresentation and Reasoning

Oct 03, 2019
Kexin Yi, Chuang Gan, Yunzhu Li, Pushmeet Kohli, Jiajun Wu, Antonio Torralba, Joshua B. Tenenbaum

Figure 1 for CLEVRER: CoLlision Events for Video REpresentation and Reasoning
Figure 2 for CLEVRER: CoLlision Events for Video REpresentation and Reasoning
Figure 3 for CLEVRER: CoLlision Events for Video REpresentation and Reasoning
Figure 4 for CLEVRER: CoLlision Events for Video REpresentation and Reasoning
Viaarxiv icon

Branch and Bound for Piecewise Linear Neural Network Verification

Sep 14, 2019
Rudy Bunel, Jingyue Lu, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar

Figure 1 for Branch and Bound for Piecewise Linear Neural Network Verification
Figure 2 for Branch and Bound for Piecewise Linear Neural Network Verification
Figure 3 for Branch and Bound for Piecewise Linear Neural Network Verification
Figure 4 for Branch and Bound for Piecewise Linear Neural Network Verification
Viaarxiv icon