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 . MILCOM 2016 - 2016 IEEE MILITARY COMMUNICATIONS CONFERENCE, 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

published in

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