← Search

Sreehari Sankar

2 accepted papers

2025

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

NeurIPS 2025poster

Large language models (LLMs) show remarkable promise for democratizing automated reasoning by generating formal specifications. However, a fundamental tension exists: LLMs are probabilistic, while formal verification demands deterministic guarantees. This paper addresses this epistemological gap by…

Cited by 0SourceScholar