Fulton, Nathan

1. Multi-lingual Evaluation of Code Generation Models
   2022/10/26 by Ben Athiwaratkun, Athiwaratkun, Ben, Sanjay Krishna Gouda +47 · 16 citations
   Computer Science · #Software Engineering Research #Topic Modeling #Machine Learning and Data Classification
2. Verifiably Safe Exploration for End-to-End Reinforcement Learning
   2020/07/02 by Hunt, Nathan, Fulton, Nathan, Magliacane, Sara +3 · 6 citations
   #Artificial Intelligence (cs.AI) #F.3.1 #FOS: Computer and information sciences #I.2.8 #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
3. CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
   2020/09/23 by Vajjha, Koundinya, Shinnar, Avraham, Pestun, Vasily +2 · 3 citations
   #Artificial Intelligence (cs.AI) #D.2.4 #FOS: Computer and information sciences #I.2.8 #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
4. Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
   2024/02/28 by Daniel Melcer, Nathan Fulton, Melcer, Daniel +5 · 2 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · #DNA and Biological Computing #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Speech and dialogue systems