← Back to Publications
🚧 Coming Soon! 🚧
This page is currently being updated with full paper details. Please check back soon!
Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
Debargha Ganguly¹, Vikash Singh¹, Sreehari Sankar¹, Biyao Zhang¹, Xuecen Zhang¹, Srinivasan Iyengar², Xiaotian Han¹, Amit Sharma³, Shivkumar Kalyanaraman², Vipin Chaudhary¹
¹Case Western Reserve University, ²Microsoft Corporation, ³Microsoft Research
[arXiv:2505.20047v1]