Microsoft Research Cambridge

Thomas Stroeder, Juergen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann

Journal of Automated Reasoning | January 2017, Vol 58: pp. 33-65

Shayan Najd, Simon Peyton Jones

Journal of Universal Computer Science (JUCS) | January 2017, Vol 23: pp. 47-62

Nick Craswell, W. Bruce Croft, Jiafeng Guo, Maarten de Rijke, Bhaskar Mitra

SIGIR Forum | December 2016, Vol 50(2): pp. 96-103

Christoph Dann, Katja Hofmann, Sebastian Nowozin

The 13th European Workshop on Reinforcement Learning (EWRL) 2016 | December 2016

Also presented at the Interpretable ML for Complex Systems Workshop at NeurIPS 2016

Project

Lydia T. Liu, Urun Dogan, Katja Hofmann

The 13th European Workshop on Reinforcement Learning (EWRL) 2016 | December 2016

Also presented at the 11th Women in Machine Learning Workshop and the Deep Reinforcement Learning Workshop at NeurIPS 2016.

Project

Loic Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache

IEEE Transactions on Medical Imaging | December 2016

Project

Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Rümmer

Journal of Automated Reasoning | November 2016, pp. 1-21

Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson

International Symposium on Formal Methods | November 2016

Liwen Zhang, John Winn, Ryota Tomioka

MSR-TR-2016-1141 | November 2016

Published by Microsoft

Nicholas Locascio, Karthik Narasimhan, Eduardo DeLeon, Nate Kushman, Regina Barzilay

EMNLP | November 2016