Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy Mann, Pushmeet Kohli.
A dual approach to scalable verification of deep networks.
Proceedings of the Thirty-Fourth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-18),
2018.
Vinod Nair, Krishnamurthy Dvijotham, Iain Dunning, Oriyol Vinyals.
Learning Fast Optimizers for Contextual Stochastic Integer Programs.
Proceedings of the Thirty-Fourth Conference on Uncertainty in ArtificialIntelligence, UAI 2018, Monterrey, California, USA, August 6-9, 2018,
2018.
Krishnamurthy Dvijotham, Yuval Rabani, Leonard Schulman.
Convergence of incentive-driven dynamics in Fisher markets.
Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on DiscreteAlgorithms, SODA 2017, Barcelona, Spain, January 10-12, 2017,
2017.
Krishnamurthy Dvijotham, Maryam Fazel, Emanuel Todorov.
Universal Convexification via Risk-Aversion.
Proceedings of the Thirtieth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-14),
2014.
Krishnamurthy Dvijotham, Emanuel Todorov.
A Unifying Framework for Linearly Solvable Control.
Proceedings of the Twenty-Seventh Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-11),
2011.
Krishnamurthy Dvijotham, Soumen Chakrabarti, Subhasis Chaudhuri.
New Closed-Form Bounds on the Partition Function.
Joint European Conference on Machine Learning and Knowledge Discovery in Databases,
2008.