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

Location

  • MD, Laurel

Digital Object Identifier (DOI)

Conference

  • 2nd IEEE International Conference on Assured Autonomy (IEEE ICAA)

publisher

  • IEEE

start page

  • 149

end page

  • 152