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

Jha, Sumit Kumar, Jha, Susmit, Lincoln, Patrick et al. (2023). Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving . 10.1109/MILCOM58377.2023.10356332

cited authors

  • Jha, Sumit Kumar; Jha, Susmit; Lincoln, Patrick; Bastian, Nathaniel D; Velasquez, Alvaro; Ewetz, Rickard; Neema, Sandeep

authors

date/time interval

  • October 30, 2023 -

publication date

  • January 1, 2023

keywords

  • Computer Science
  • Computer Science, Information Systems
  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology
  • Telecommunications

Location

  • MA, Boston

Digital Object Identifier (DOI)

Conference

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

publisher

  • IEEE