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

Open in new window