Pushmeet Kohli

MaRDI QIDQ362139zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Advancing geometry with AI: multi-agent generation of polytopes Advances in Theoretical and Mathematical Physics	2026-06-02	Paper
Branch and bound for piecewise linear neural network verification (available as arXiv preprint)	2020-10-05	Paper
Branch and bound for piecewise linear neural network verification	2020-10-05	Paper
Efficient Relaxations for Dense CRFs with Sparse Higher-Order Potentials SIAM Journal on Imaging Sciences	2019-10-09	Paper
Learning shape analysis Static Analysis	2019-09-16	Paper
Task-Specific Image Partitioning IEEE Transactions on Image Processing	2017-10-27	Paper
Time-sensitive Bayesian information aggregation for crowdsourcing systems The Journal of Artificial Intelligence Research (JAIR)	2016-09-07	Paper
scientific article; zbMATH DE number 6536235 (Why is no real title available?)	2016-01-27	Paper
Faster and more dynamic maximum flow by incremental breadth-first search Algorithms - ESA 2015	2015-11-19	Paper
Inference methods for CRFs with co-occurrence statistics International Journal of Computer Vision	2013-08-20	Paper

Research outcomes over time

This page was built for person: Pushmeet Kohli