Nate D. Bastian

Latest

• Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving
• Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting