Advancing mathematics by guiding human intuition with AI. Zbl 1505.57001
Davies, Alex; Veličković, Petar; Buesing, Lars; Blackwell, Sam; Zheng, Daniel; Tomašev, Nenad; Tanburn, Richard; Battaglia, Peter; Blundell, Charles; Juhász, András; Lackenby, Marc; Williamson, Geordie; Hassabis, Demis; Kohli, Pushmeet |
|
2021
|
Markov random fields for vision and image processing. Zbl 1236.68001
|
|
2011
|
Branch and bound for piecewise linear neural network verification. Zbl 1498.68153
Bunel, Rudy; Turkaslan, Ilker; Torr, Philip H. S.; Kumar, M. Pawan; Lu, Jingyue; Kohli, Pushmeet |
|
2020
|
Inference methods for CRFs with co-occurrence statistics. Zbl 1270.68350
Ladický, L’ubor; Russell, Chris; Kohli, Pushmeet; Torr, Philip H. S. |
|
2013
|
Discovering faster matrix multiplication algorithms with reinforcement learning. Zbl 1496.65060
Fawzi, Alhussein; Balog, Matej; Huang, Aja; Hubert, Thomas; Romera-Paredes, Bernardino; Barekatain, Mohammadamin; Novikov, Alexander; Ruiz, Francisco J. R.; Schrittwieser, Julian; Swirszcz, Grzegorz; Silver, David; Hassabis, Demis; Kohli, Pushmeet |
|
2022
|
Making sense of sensory input. Zbl 1519.68214
Evans, Richard; Hernández-Orallo, José; Welbl, Johannes; Kohli, Pushmeet; Sergot, Marek |
|
2021
|
Tractability. Practical approaches to hard problems. Zbl 1325.68009
|
|
2014
|
Faster and more dynamic maximum flow by incremental breadth-first search. Zbl 1466.68091
Goldberg, Andrew V.; Hed, Sagi; Kaplan, Haim; Kohli, Pushmeet; Tarjan, Robert E.; Werneck, Renato F. |
|
2015
|
Efficient relaxations for dense CRFs with sparse higher-order potentials. Zbl 1423.90263
Joy, Thomas; Desmaison, Alban; Ajanthan, Thalaiyasingam; Bunel, Rudy; Salzmann, Mathieu; Kohli, Pushmeet; Torr, Philip H. S.; Kumar, M. Pawan |
|
2019
|
Computer vision and machine learning with RGB-D sensors. Zbl 1295.68032
|
|
2014
|
Making sense of raw input. Zbl 1520.68132
Evans, Richard; Bošnjak, Matko; Buesing, Lars; Ellis, Kevin; Pfau, David; Kohli, Pushmeet; Sergot, Marek |
|
2021
|
Higher-order models in computer vision. Zbl 1346.68224
Kohli, Pushmeet; Rother, Carsten |
|
2012
|
Learning shape analysis. Zbl 1420.68065
Brockschmidt, Marc; Chen, Yuxin; Kohli, Pushmeet; Krishna, Siddharth; Tarlow, Daniel |
|
2017
|
Task-specific image partitioning. Zbl 1373.94206
Kim, Sungwoong; Nowozin, Sebastian; Kohli, Pushmeet; Yoo, Chang D. |
|
2013
|
Discovering faster matrix multiplication algorithms with reinforcement learning. Zbl 1496.65060
Fawzi, Alhussein; Balog, Matej; Huang, Aja; Hubert, Thomas; Romera-Paredes, Bernardino; Barekatain, Mohammadamin; Novikov, Alexander; Ruiz, Francisco J. R.; Schrittwieser, Julian; Swirszcz, Grzegorz; Silver, David; Hassabis, Demis; Kohli, Pushmeet |
|
2022
|
Advancing mathematics by guiding human intuition with AI. Zbl 1505.57001
Davies, Alex; Veličković, Petar; Buesing, Lars; Blackwell, Sam; Zheng, Daniel; Tomašev, Nenad; Tanburn, Richard; Battaglia, Peter; Blundell, Charles; Juhász, András; Lackenby, Marc; Williamson, Geordie; Hassabis, Demis; Kohli, Pushmeet |
|
2021
|
Making sense of sensory input. Zbl 1519.68214
Evans, Richard; Hernández-Orallo, José; Welbl, Johannes; Kohli, Pushmeet; Sergot, Marek |
|
2021
|
Making sense of raw input. Zbl 1520.68132
Evans, Richard; Bošnjak, Matko; Buesing, Lars; Ellis, Kevin; Pfau, David; Kohli, Pushmeet; Sergot, Marek |
|
2021
|
Branch and bound for piecewise linear neural network verification. Zbl 1498.68153
Bunel, Rudy; Turkaslan, Ilker; Torr, Philip H. S.; Kumar, M. Pawan; Lu, Jingyue; Kohli, Pushmeet |
|
2020
|
Efficient relaxations for dense CRFs with sparse higher-order potentials. Zbl 1423.90263
Joy, Thomas; Desmaison, Alban; Ajanthan, Thalaiyasingam; Bunel, Rudy; Salzmann, Mathieu; Kohli, Pushmeet; Torr, Philip H. S.; Kumar, M. Pawan |
|
2019
|
Learning shape analysis. Zbl 1420.68065
Brockschmidt, Marc; Chen, Yuxin; Kohli, Pushmeet; Krishna, Siddharth; Tarlow, Daniel |
|
2017
|
Faster and more dynamic maximum flow by incremental breadth-first search. Zbl 1466.68091
Goldberg, Andrew V.; Hed, Sagi; Kaplan, Haim; Kohli, Pushmeet; Tarjan, Robert E.; Werneck, Renato F. |
|
2015
|
Tractability. Practical approaches to hard problems. Zbl 1325.68009
|
|
2014
|
Computer vision and machine learning with RGB-D sensors. Zbl 1295.68032
|
|
2014
|
Inference methods for CRFs with co-occurrence statistics. Zbl 1270.68350
Ladický, L’ubor; Russell, Chris; Kohli, Pushmeet; Torr, Philip H. S. |
|
2013
|
Task-specific image partitioning. Zbl 1373.94206
Kim, Sungwoong; Nowozin, Sebastian; Kohli, Pushmeet; Yoo, Chang D. |
|
2013
|
Higher-order models in computer vision. Zbl 1346.68224
Kohli, Pushmeet; Rother, Carsten |
|
2012
|
Markov random fields for vision and image processing. Zbl 1236.68001
|
|
2011
|