Nathan Hunt

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 6

Top Topics

Neural Network Ensemble

Formal Verification

Reinforcement Learning

Congestion Control

Top Venues

Publications

Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama
Verifiably safe exploration for end-to-end reinforcement learning. HSCC (2021)
Nathan Fulton, Nathan Hunt, Nghia Hoang, Subhro Das
Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges. CoRR (2020)
Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das, Armando Solar-Lezama
Verifiably Safe Exploration for End-to-End Reinforcement Learning. CoRR (2020)
Matthew B. A. McDermott, Tom Yan, Tristan Naumann, Nathan Hunt, Harini Suresh, Peter Szolovits, Marzyeh Ghassemi
Semi-Supervised Biomedical Translation With Cycle Wasserstein Regression GANs. AAAI (2018)
Harini Suresh, Nathan Hunt, Alistair E. W. Johnson, Leo Anthony Celi, Peter Szolovits, Marzyeh Ghassemi
Clinical Intervention Prediction and Understanding using Deep Networks. CoRR (2017)
Harini Suresh, Nathan Hunt, Alistair E. W. Johnson, Leo Anthony Celi, Peter Szolovits, Marzyeh Ghassemi
Clinical Intervention Prediction and Understanding with Deep Neural Networks. MLHC (2017)