Nathan Fulton

Computer Science · Physical Sciences

7h-index1.4kcitations22works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(10), Logic, programming, and type systems(6), Adversarial Robustness in Machine Learning(5), Security and Verification in Computing(4), Reinforcement Learning in Robotics(3)

Publications22 total

Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
arXiv (Cornell University)·2024Open Access
Multi-lingual Evaluation of Code Generation Models
arXiv (Cornell University)·2022· 28 citedOpen Access
Relational Analysis of Sensor Attacks on Cyber-Physical Systems
arXiv (Cornell University)·2021Open Access
Relational Analysis of Sensor Attacks on Cyber-Physical Systems
2021· 10 cited
Verifiably safe exploration for end-to-end reinforcement learning
2021· 7 citedOpen Access
CertRL: formalizing convergence proofs for value and policy iteration in Coq
2021· 1 citedOpen Access
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in\n Coq
arXiv (Cornell University)·2020Open Access
Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges
arXiv (Cornell University)·2020· 1 citedOpen Access
A Formally Verified Plasma Vertical Position Control Algorithm
Lecture notes in computer science·2020
Verifiably safe SCUBA diving using commodity sensors
2019· 1 citedOpen Access
Work-in-Progress: Verifiably Safe SCUBA Diving using Commodity Sensors
Embedded Software·2019
Safe AI for CPS (Invited Paper)
2018· 12 cited
Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning
Proceedings of the AAAI Conference on Artificial Intelligence·2018· 180 citedOpen Access
Bellerophon: Tactical Theorem Proving for Hybrid Systems
Lecture notes in computer science·2017· 39 cited
Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety
2016
Proving autonomous vehicle and advanced driver assistance systems safety : final research report.
2016· 3 cited
A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics
2016· 4 citedOpen Access
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
Lecture notes in computer science·2015· 228 citedOpen Access
Statically typed string sanitation inside a python
2014· 5 citedOpen Access
A Typed Lambda Calculus for Input Sanitation
2013· 1 cited
page 1 of 2Next →

Frequent Co-authors

André Platzer(9), Stefan Mitsch(2), Sanjay Krishna Gouda(2), Haifeng Qian(2), Stephen Chong(2), Nathan Hunt(2), Trong Nghia Hoang(2), Subhro Das(2), Ran Ji(2), Koundinya Vajjha(2), Avraham Shinnar(2), Vasily Pestun(2), Barry Trager(2), Viren Bajaj(2), Karim Elmaaroufi(2), Yennun Huang(1), Chandra M. R. Kintala(1), N. Kolettis(1), Jan-David Quesel(1), Marcus Völp(1)