Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting Conference

Jha, Susmit, Jha, Sumit Kumar, Lincoln, Patrick et al. (2023). Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting . 149-152. 10.1109/ICAA58325.2023.00029

cited authors

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

authors

date/time interval

  • June 6, 2023 -

publication date

  • January 1, 2023

keywords

  • Automation & Control Systems
  • Computer Science
  • Computer Science, Artificial Intelligence
  • Science & Technology
  • Technology

Digital Object Identifier (DOI)

start page

  • 149

end page

  • 152