Follow
Nathan Fulton
Nathan Fulton
AWS AI Labs. Formerly: MIT-IBM AI Lab; CMU CSD.
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
KeYmaera X: An axiomatic tactical theorem prover for hybrid systems
N Fulton, S Mitsch, JD Quesel, M Völp, A Platzer
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
3402015
Safe Reinforcement Learning via Formal Methods
N Fulton, A Platzer
265*2018
Multi-lingual evaluation of code generation models
B Athiwaratkun, SK Gouda, Z Wang, X Li, Y Tian, M Tan, WU Ahmad, ...
arXiv preprint arXiv:2210.14868, 2022
1052022
Verifiably safe off-model reinforcement learning
N Fulton, A Platzer
International Conference on Tools and Algorithms for the Construction and …, 2019
672019
Bellerophon: Tactical theorem proving for hybrid systems
N Fulton, S Mitsch, B Bohrer, A Platzer
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
612017
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
542021
Baishakhi Ray, Parminder Bhatia, Sudipta Sengupta, Dan Roth, and Bing Xiang
B Athiwaratkun, SK Gouda, Z Wang, X Li, Y Tian, M Tan, WU Ahmad, ...
Multi-lingual evaluation of code generation models, 2022
292022
CertRL: formalizing convergence proofs for value and policy iteration in Coq
K Vajjha, A Shinnar, B Trager, V Pestun, N Fulton
Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021
242021
Safe ai for CPS
N Fulton, A Platzer
2018 IEEE International Test Conference (ITC), 1-7, 2018
192018
Verifiably safe autonomy for cyber-physical systems
N Fulton
Ph. D. thesis, Computer Science Department, School of Computer Science …, 2018
142018
Relational analysis of sensor attacks on cyber-physical systems
J Xiang, N Fulton, S Chong
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
122021
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
102020
A logic of proofs for differential dynamic logic: Toward independently checkable proof certificates for dynamic logics
N Fulton, A Platzer
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016
102016
Statically typed string sanitation inside a Python
N Fulton, C Omar, J Aldrich
Proceedings of the 2014 International Workshop on Privacy & Security in …, 2014
62014
Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
D Melcer, N Fulton, SK Gouda, H Qian
arXiv preprint arXiv:2402.17988, 2024
32024
Verifiably safe scuba diving using commodity sensors: Work-in-progress
V Bajaj, K Elmaaroufi, N Fulton, A Platzer
Proceedings of the International Conference on Embedded Software Companion, 1-2, 2019
32019
Security through extensible type systems
N Fulton
Proceedings of the 3rd annual conference on Systems, programming, and …, 2012
32012
Formally safe symbolic reinforcement learning on visual inputs
S Das, N Fulton, N Hunt, TN Hoang
US Patent 11,513,520, 2022
22022
A Formally Verified Plasma Vertical Position Control Algorithm
M Wu, J Rosenberg, N Fulton
Formal Methods for Industrial Critical Systems: 25th International …, 2020
22020
A typed lambda calculus for input sanitation
N Fulton
22013
The system can't perform the operation now. Try again later.
Articles 1–20