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

Overview

CU Boulder Authors

Velasquez, Alvaro

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

presented at event

41st IEEE Military Communications Conference (IEEE MILCOM) - Communications Supporting Military Operations in a Contested Environment Conference

Other Profiles

International Standard Serial Number (ISSN)

2155-7578

Digital Object Identifier (DOI)

https://doi.org/10.1109/milcom58377.2023.10356332