Correctness

Field
Subfield
Domain
OpenAlex	C55439883

Smeal faculty

• Nathaniel D. Bastian - score 0.5

Papers

• Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting (2023) - cites 68