Nathan Fulton - RankMe

22 papers A* 2A 3B 3C 1Journal 8Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	LLMON: An LLM-native Markup Language to Leverage Structure and Semantics at the LLM Interface. CoRR Michael Hind, Basel Shbita, Bo Wu, Farhan Ahmed, Chad DeLuca, Nathan Fulton, David D. Cox, Dan Gutfreund
2024	J	`jnl`	Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars. CoRR Daniel Melcer, Nathan Fulton, Sanjay Krishna Gouda, Haifeng Qian
2023	A*	`conf`	Multi-lingual Evaluation of Code Generation Models. ICLR 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
2022	J	`jnl`	Multi-lingual Evaluation of Code Generation Models. CoRR 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
2021	B	`conf`	CertRL: formalizing convergence proofs for value and policy iteration in Coq. CPP Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton
2021	A	`conf`	Relational Analysis of Sensor Attacks on Cyber-Physical Systems. CSF Jian Xiang, Nathan Fulton, Stephen Chong
2021	J	`jnl`	Relational Analysis of Sensor Attacks on Cyber-Physical Systems. CoRR Jian Xiang, Nathan Fulton, Stephen Chong
2021	—	`conf`	Verifiably safe exploration for end-to-end reinforcement learning. HSCC Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama
2020	C	`conf`	A Formally Verified Plasma Vertical Position Control Algorithm. FMICS May Wu, Jessie C. Rosenberg, Nathan Fulton
2020	J	`jnl`	CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq. CoRR Koundinya Vajjha, Avraham Shinnar, Vasily Pestun, Barry M. Trager, Nathan Fulton
2020	J	`jnl`	Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges. CoRR Nathan Fulton, Nathan Hunt, Nghia Hoang, Subhro Das
2020	J	`jnl`	Verifiably Safe Exploration for End-to-End Reinforcement Learning. CoRR Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das, Armando Solar-Lezama
2019	—	`conf`	Verifiably Safe Off-Model Reinforcement Learning. TACAS (1) Nathan Fulton, André Platzer
2019	J	`jnl`	Verifiably Safe Off-Model Reinforcement Learning. CoRR Nathan Fulton, André Platzer
2019	—	`conf`	Verifiably safe SCUBA diving using commodity sensors: work-in-progress. EMSOFT Companion Viren Bajaj, Karim Elmaaroufi, Nathan Fulton, André Platzer
2018	A	`conf`	Safe AI for CPS (Invited Paper). ITC Nathan Fulton, André Platzer
2018	A*	`conf`	Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning. AAAI Nathan Fulton, André Platzer
2017	B	`conf`	Bellerophon: Tactical Theorem Proving for Hybrid Systems. ITP Nathan Fulton, Stefan Mitsch, Rose Bohrer, André Platzer
2016	B	`conf`	A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics. CPP Nathan Fulton, André Platzer
2015	A	`conf`	KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. CADE Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer
2014	—	`conf`	Statically typed string sanitation inside a python. PSP Nathan Fulton, Cyrus Omar, Jonathan Aldrich
2012	—	`conf`	Security through extensible type systems. SPLASH Nathan Fulton