SMEAL WIKI

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting

Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema
Year2023
Venue
Typearticle
Citations68
DOI10.1109/icaa58325.2023.00029
OpenAlexW4385730880

Topics

Topic ModelingComputer scienceSketchExploitVariety (cybernetics)Correctness