SMEAL WIKI

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting

Susmit Jha, Sumit Kumar Jha, Patrick D. Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep K. Neema
Year2023
Venue
Typeconference-paper
Citations72
DOI10.1109/icaa58325.2023.00029
OpenAlexW4385730880

Topics

Formal Methods in VerificationComputer scienceSketchExploitVariety (cybernetics)Correctness