Clinical Intervention Prediction and Understanding with Deep Neural Networks. - Harini Suresh; Nathan Hunt; Alistair E. W. Johnson; Leo Anthony Celi; Peter Szolovits; Marzyeh Ghassemi (MLHC, 2017)

Clinical Intervention Prediction and Understanding using Deep Networks. - Harini Suresh; Nathan Hunt; Alistair E. W. Johnson; Leo Anthony Celi; Peter Szolovits; Marzyeh Ghassemi (CoRR, 2017)

Semi-Supervised Biomedical Translation With Cycle Wasserstein Regression GANs. - Matthew B. A. McDermott; Tom Yan; Tristan Naumann; Nathan Hunt; Harini Suresh; Peter Szolovits; Marzyeh Ghassemi (AAAI, 2018)

Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges. - Nathan Fulton; Nathan Hunt; Nghia Hoang; Subhro Das (CoRR, 2020)

Verifiably Safe Exploration for End-to-End Reinforcement Learning. - Nathan Hunt; Nathan Fulton; Sara Magliacane; Nghia Hoang; Subhro Das; Armando Solar-Lezama (CoRR, 2020)

Verifiably safe exploration for end-to-end reinforcement learning. - Nathan Hunt; Nathan Fulton; Sara Magliacane; Trong Nghia Hoang; Subhro Das; Armando Solar-Lezama (HSCC, 2021)