Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Paper • 2505.20047 • Published 16 days ago • 3