TY  - RPRT
TI  - Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
AU  - Debargha Ganguly
AU  - Vikash Singh
AU  - Sreehari Sankar
AU  - Biyao Zhang
AU  - Xuecen Zhang
AU  - Srinivasan Iyengar
AU  - Xiaotian Han
AU  - Amit Sharma
AU  - Shivkumar Kalyanaraman
AU  - Vipin Chaudhary
PY  - 2025
UR  - https://arxiv.org/abs/2505.20047
ID  - 2505.20047
ER  -