Formal Methods in Verification

Field	Computer Science
Subfield	Computational Theory and Mathematics
Domain	Physical Sciences
OpenAlex	T10142

Smeal faculty

• Nathaniel D. Bastian - score 1.0

Papers

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