| 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 | 253* | 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 | 42 | 2021 |
| 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 | 32 | 2018 |
| 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 | 9 | 2020 |
| Formally safe symbolic reinforcement learning on visual inputs S Das, N Fulton, N Hunt, TN Hoang US Patent 11,513,520, 2022 | 2 | 2022 |
| 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 | 1 | 2022 |
| Information-based Acquisition for General Models in Bayesian Optimization S Jain, N Hunt, D Gifford | | |
