Nathan Hunt

According to our database, Nathan Hunt authored at least 6 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Verifiably safe exploration for end-to-end reinforcement learning.

Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

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

Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges.

Nathan Fulton, Nathan Hunt, Nghia Hoang, Subhro Das

CoRR, 2020

2018

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

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

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

Clinical Intervention Prediction and Understanding with Deep Neural Networks.

Harini Suresh, Nathan Hunt, Alistair E. W. Johnson, Leo Anthony Celi, Peter Szolovits, Marzyeh Ghassemi

Proceedings of the Machine Learning for Health Care Conference, 2017