Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks - Ganguly, Debargha; Singh, Vikash; Sankar, Sreehari; Zhang, Biyao; Zhang, Xuecen; Iyengar, Srinivasan; Han, Xiaotian; Sharma, Amit; Kalyanaraman, Shivkumar; Chaudhary, Vipin (Advances in Neural Information Processing Systems, 2025)