Nathan Fulton

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 18

Top Topics

Active Exploration

Semantic Smoothing

Reinforcement Learning

Top Venues

Publications

Daniel Melcer, Nathan Fulton, Sanjay Krishna Gouda, Haifeng Qian
Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars. CoRR (2024)
Ben Athiwaratkun, Sanjay Krishna Gouda, Zijian Wang, Xiaopeng Li, Yuchen Tian, Ming Tan, Wasi Uddin Ahmad, Shiqi Wang, Qing Sun, Mingyue Shang, Sujan Kumar Gonugondla, Hantian Ding, Varun Kumar, Nathan Fulton, Arash Farahani, Siddhartha Jain, Robert Giaquinto, Haifeng Qian, Murali Krishna Ramanathan, Ramesh Nallapati
Multi-lingual Evaluation of Code Generation Models. ICLR (2023)
Ben Athiwaratkun, Sanjay Krishna Gouda, Zijian Wang, Xiaopeng Li, Yuchen Tian, Ming Tan, Wasi Uddin Ahmad, Shiqi Wang, Qing Sun, Mingyue Shang, Sujan Kumar Gonugondla, Hantian Ding, Varun Kumar, Nathan Fulton, Arash Farahani, Siddhartha Jain, Robert Giaquinto, Haifeng Qian, Murali Krishna Ramanathan, Ramesh Nallapati, Baishakhi Ray, Parminder Bhatia, Sudipta Sengupta, Dan Roth, Bing Xiang
Multi-lingual Evaluation of Code Generation Models. CoRR (2022)
Jian Xiang, Nathan Fulton, Stephen Chong
Relational Analysis of Sensor Attacks on Cyber-Physical Systems. CSF (2021)
Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton
CertRL: formalizing convergence proofs for value and policy iteration in Coq. CPP (2021)
Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama
Verifiably safe exploration for end-to-end reinforcement learning. HSCC (2021)
Jian Xiang, Nathan Fulton, Stephen Chong
Relational Analysis of Sensor Attacks on Cyber-Physical Systems. CoRR (2021)
May Wu, Jessie C. Rosenberg, Nathan Fulton
A Formally Verified Plasma Vertical Position Control Algorithm. FMICS (2020)
Koundinya Vajjha, Avraham Shinnar, Vasily Pestun, Barry M. Trager, Nathan Fulton
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq. CoRR (2020)
Nathan Fulton, Nathan Hunt, Nghia Hoang, Subhro Das
Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges. CoRR (2020)
Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das, Armando Solar-Lezama
Verifiably Safe Exploration for End-to-End Reinforcement Learning. CoRR (2020)
Viren Bajaj, Karim Elmaaroufi, Nathan Fulton, André Platzer
Verifiably safe SCUBA diving using commodity sensors: work-in-progress. EMSOFT Companion (2019)
Nathan Fulton, André Platzer
Verifiably Safe Off-Model Reinforcement Learning. CoRR (2019)
Nathan Fulton, André Platzer
Verifiably Safe Off-Model Reinforcement Learning. TACAS (1) (2019)
Nathan Fulton, André Platzer
Safe AI for CPS (Invited Paper). ITC (2018)
Nathan Fulton, André Platzer
Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning. AAAI (2018)
Nathan Fulton, Stefan Mitsch, Brandon Bohrer, André Platzer
Bellerophon: Tactical Theorem Proving for Hybrid Systems. ITP (2017)
Nathan Fulton, André Platzer
A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics. CPP (2016)
Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. CADE (2015)
Nathan Fulton, Cyrus Omar, Jonathan Aldrich
Statically typed string sanitation inside a python. PSP (2014)
Nathan Fulton
Security through extensible type systems. SPLASH (2012)