Publication DICE*: A Formally Verified Implementation of DICE Measured Boot Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur 30th Usenix Security Symposium | August 2021
Publication Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation Faustyna Krawiec, Neel Krishnaswami, Simon Peyton Jones, Tom Ellis, Andrew Fitzgibbon, Richard Eisenberg POPL 2022 | August 2021 Video
Publication Strategically Efficient Exploration in Competitive Multiagent Reinforcement Learning Robert Loftin, Aadirupa Saha, Sam Devlin, Katja Hofmann Conference on Uncertainty in Artificial Intelligence (UAI) 2021 | July 2021
Publication Navigation Turing Test (NTT): Learning to Evaluate Human-Like Navigation Sam Devlin, Raluca Stevenson, Ida Momennejad, Jaroslaw Rzepecki, Evelyn Zuniga, Gavin Costello, Guy Leroy, Ali Shaw, Katja Hofmann 2021 International Conference on Machine Learning | July 2021 Source code available at: https://github.com/microsoft/NTT Video Github Project
Publication Exploration in Approximate Hyper-State Space for Meta Reinforcement Learning Luisa Zintgraf, Leo Feng, Cong Lu, Maximilian Igl, Kristian Hartikainen, Katja Hofmann, Shimon Whiteson 2021 International Conference on Machine Learning | July 2021
Publication TeachMyAgent: a Benchmark for Automatic Curriculum Learning in Deep RL Clément Romac, Rémy Portelas, Katja Hofmann, Pierre-Yves Oudeyer 2021 International Conference on Machine Learning | July 2021
Publication AMP: Authentication of Media via Provenance Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cédric Fournet, Rebecca Burke-Aguero, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, John Deutscher, Shabnam Erfani, Matt Gaylor, Andrew Jenks, Kevin Kane, Elissa M. Redmiles, Alex Shamis, Isha Sharma, Sam Wenker, Anika Zaman 12th ACM Multimedia Systems Conference | July 2021 Project
Publication VICAUSE: Simultaneous missing value imputation and causal discovery Pablo Morales-Alvarez, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Miltos Allamanis, Cheng Zhang MSR-TR-2021-14 | July 2021 Published by ICML 2021 workshop on the Neglected Assumptions in Causal Inference Project
Publication Grey-box Extraction of Natural Language Models Santiago Zanella-Béguelin, Shruti Tople, Andrew Paverd, Boris Köpf International Conference on Machine Learning | July 2021 Editor(s): Marina Meila and Tong Zhang Project
Publication Hierarchical Analysis of Visual COVID-19 Features from Chest Radiographs Shruthi Bannur, Ozan Oktay, Melanie Bernhardt, Anton Schwaighofer, Rajesh Jena, Besmira Nushi, Sharan Wadhwani, Aditya Nori, Kal Natarajan, Shazad Ashraf, Javier Alvarez-Valle, Daniel Coelho de Castro ICML 2021 Workshop on Interpretable Machine Learning in Healthcare | July 2021 Project Project Project Project
Research
Research