Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving Conference Proceeding uri icon

Overview

publication date

  • October 30, 2023

has restriction

  • closed

Date in CU Experts

  • March 29, 2024 8:20 AM

Full Author List

  • Jha SK; Jha S; Lincoln P; Bastian ND; Velasquez A; Ewetz R; Neema S

author count

  • 7

citation count

  • 0

Other Profiles

International Standard Serial Number (ISSN)

  • 2155-7578