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

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

Digital Object Identifier (DOI)