Home › Entities › academia › Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting

Research article (2023 IEEE International Conference on Assured Autonomy (ICAA), 2023) · cited 68× · AI/ML
academia openalex:W4385730880
Press Enter · cited answer in seconds

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting

Summary

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting is a scholarly article[1].

Key Facts

  • Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting's instance of is recorded as scholarly article[2].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. Retrieved May 24, 2026, from https://4ort.xyz/entity/dehallucinating-large-language-models-using-formal-methods-guided-iterative-prompting
MLA “Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/dehallucinating-large-language-models-using-formal-methods-guided-iterative-prompting.
BibTeX @misc{4ortxyz_dehallucinating-large-language-models-using-formal-methods-guided-iterative-prompting_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting}}, year = {2026}, url = {https://4ort.xyz/entity/dehallucinating-large-language-models-using-formal-methods-guided-iterative-prompting}, note = {Accessed: 2026-05-24}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting — https://4ort.xyz/entity/dehallucinating-large-language-models-using-formal-methods-guided-iterative-prompting (retrieved 2026-05-24)

Canonical URL: https://4ort.xyz/entity/dehallucinating-large-language-models-using-formal-methods-guided-iterative-prompting · Last refreshed: