1 code implementation • 28 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.
2 code implementations • 26 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.
1 code implementation • 23 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.
1 code implementation • 2 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.
no code implementations • 15 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.
1 code implementation • 14 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.