Correctness

Field
Subfield
Domain
OpenAlex	C55439883

Smeal faculty

• Akhil Kumar - score 0.8
• Nathaniel D. Bastian - score 0.5

Papers

• An Analysis and Taxonomy of Unstructured Workflows (2005) - cites 127
• Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting (2023) - cites 72