Follow
Nathan Hunt
Title
Cited by
Cited by
Year
Clinical Intervention Prediction and Understanding with Deep Neural Networks
H Suresh, N Hunt, A Johnson, LA Celi, P Szolovits, M Ghassemi
Machine Learning for Healthcare Conference, 322-337, 2017
263*2017
Verifiably safe exploration for end-to-end reinforcement learning
N Hunt, N Fulton, S Magliacane, TN Hoang, S Das, A Solar-Lezama
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
452021
Semi-Supervised Biomedical Translation with Cycle Wasserstein Regression GANs
MBA McDermott, T Yan, T Naumann, N Hunt, H Suresh, P Szolovits, ...
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
322018
Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges
N Fulton, N Hunt, N Hoang, S Das
arXiv preprint arXiv:2006.09181, 2020
92020
Formally safe symbolic reinforcement learning on visual inputs
S Das, N Fulton, N Hunt, TN Hoang
US Patent 11,513,520, 2022
22022
Leveraging dynamical priors for symbolic mappings in safe reinforcement learning
NR Fulton, S Das, N Hunt, TN Hoang
US Patent App. 17/179,015, 2022
12022
Information-based Acquisition for General Models in Bayesian Optimization
S Jain, N Hunt, D Gifford
The system can't perform the operation now. Try again later.
Articles 1–7