Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting Conference Proceeding uri icon

Overview

publication date

  • June 6, 2023

has restriction

  • closed

Date in CU Experts

  • September 13, 2023 8:32 AM

Full Author List

  • Jha S; Jha SK; Lincoln P; Bastian ND; Velasquez A; Neema S

author count

  • 6

citation count

  • 1

Other Profiles

Additional Document Info

start page

  • 149

end page

  • 152