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 . 2018 IEEE MILITARY COMMUNICATIONS CONFERENCE (MILCOM 2018), 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

Digital Object Identifier (DOI)