NF
Nathan Fulton
cs.AIcs.LGcs.PLcs.SEcs.LOcs.CLcs.CRstat.ML
On Valency
published · living versionsW_ebbegyeg·v1 · currentpublished
Post-Training Large Language Models with LLMON
with Basel Shbita, Michael Hind, Chad DeLuca, Shubhi Asthana +6
1 version
Preprints & journals
7 papers in the corpus · 2020–2026LLMON: An LLM-native Markup Language to Leverage Structure and Semantics at the LLM Interface2603.22519v4 · Michael Hind, Basel Shbita, Bo Wu et al.2026 · 0 citationsarXiv
Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars2402.17988v2 · Daniel Melcer, Nathan Fulton, Sanjay Krishna Gouda et al.2024 · 0 citationsarXiv
Multi-lingual Evaluation of Code Generation Models2210.14868v3 · Ben Athiwaratkun, Sanjay Krishna Gouda, Zijian Wang et al.2022 · 38 citationsarXiv
Relational Analysis of Sensor Attacks on Cyber-Physical Systems2106.01850v1 · Jian Xiang, Nathan Fulton, Stephen Chong2021 · 13 citationsarXiv
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq2009.11403v2 · Koundinya Vajjha, Avraham Shinnar, Vasily Pestun et al.2020 · 8 citationsarXiv
Verifiably Safe Exploration for End-to-End Reinforcement Learning2007.01223v1 · Nathan Hunt, Nathan Fulton, Sara Magliacane et al.2020 · 47 citationsarXiv
Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges2006.09181v1 · Nathan Fulton, Nathan Hunt, Nghia Hoang et al.2020 · 1 citationarXiv
Career total: 20 works. 7 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.