Login / Signup
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
CoRR
MLHC
HSCC
AAAI
</>
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)