Search Results for author: Nathan Fulton

Found 6 papers, 5 papers with code

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

1 code implementation28 Feb 2024 Daniel Melcer, Nathan Fulton, Sanjay Krishna Gouda, Haifeng Qian

Large Language Models are powerful tools for program synthesis and advanced auto-completion, but come with no guarantee that their output code is syntactically correct.

Program Synthesis

Multi-lingual Evaluation of Code Generation Models

2 code implementations26 Oct 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

Using these benchmarks, we are able to assess the performance of code generation models in a multi-lingual fashion, and discovered generalization ability of language models on out-of-domain languages, advantages of multi-lingual models over mono-lingual, the ability of few-shot prompting to teach the model new languages, and zero-shot translation abilities even on mono-lingual settings.

Code Completion Code Translation +1

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

1 code implementation23 Sep 2020 Koundinya Vajjha, Avraham Shinnar, Vasily Pestun, Barry Trager, Nathan Fulton

Reinforcement learning algorithms solve sequential decision-making problems in probabilistic environments by optimizing for long-term reward.

Decision Making reinforcement-learning +1

Verifiably Safe Exploration for End-to-End Reinforcement Learning

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

We also prove that our method of enforcing the safety constraints preserves all safe policies from the original environment.

object-detection Object Detection +3

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

no code implementations15 Jun 2020 Nathan Fulton, Nathan Hunt, Nghia Hoang, Subhro Das

Autonomous systems -- such as self-driving cars, autonomous drones, and automated trains -- must come with strong safety guarantees.

Self-Driving Cars

Verifiably Safe Off-Model Reinforcement Learning

1 code implementation14 Feb 2019 Nathan Fulton, Andre Platzer

Through a combination of design-time model updates and runtime model falsification, we provide a first approach toward obtaining formal safety proofs for autonomous systems acting in heterogeneous environments.

reinforcement-learning Reinforcement Learning (RL)

Cannot find the paper you are looking for? You can Submit a new open access paper.