Alert button
Picture for Nathan Fulton

Nathan Fulton

Alert button

Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars

Feb 28, 2024
Daniel Melcer, Nathan Fulton, Sanjay Krishna Gouda, Haifeng Qian

Viaarxiv icon

Multi-lingual Evaluation of Code Generation Models

Oct 26, 2022
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

Figure 1 for Multi-lingual Evaluation of Code Generation Models
Figure 2 for Multi-lingual Evaluation of Code Generation Models
Figure 3 for Multi-lingual Evaluation of Code Generation Models
Figure 4 for Multi-lingual Evaluation of Code Generation Models
Viaarxiv icon

CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq

Sep 23, 2020
Koundinya Vajjha, Avraham Shinnar, Vasily Pestun, Barry Trager, Nathan Fulton

Figure 1 for CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
Figure 2 for CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
Viaarxiv icon

Verifiably Safe Exploration for End-to-End Reinforcement Learning

Jul 02, 2020
Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das, Armando Solar-Lezama

Figure 1 for Verifiably Safe Exploration for End-to-End Reinforcement Learning
Figure 2 for Verifiably Safe Exploration for End-to-End Reinforcement Learning
Figure 3 for Verifiably Safe Exploration for End-to-End Reinforcement Learning
Figure 4 for Verifiably Safe Exploration for End-to-End Reinforcement Learning
Viaarxiv icon

Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges

Jun 15, 2020
Nathan Fulton, Nathan Hunt, Nghia Hoang, Subhro Das

Figure 1 for Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges
Figure 2 for Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges
Figure 3 for Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges
Figure 4 for Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges
Viaarxiv icon

Verifiably Safe Off-Model Reinforcement Learning

Feb 14, 2019
Nathan Fulton, Andre Platzer

Figure 1 for Verifiably Safe Off-Model Reinforcement Learning
Figure 2 for Verifiably Safe Off-Model Reinforcement Learning
Viaarxiv icon