@misc{indiciae8d1126e2ffa7,
  title = {Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks},
  author = {Debargha Ganguly and Vikash Singh and Sreehari Sankar and Biyao Zhang and Xuecen Zhang and Srinivasan Iyengar and Xiaotian Han and Amit Sharma and Shivkumar Kalyanaraman and Vipin Chaudhary},
  year = {2025},
  url = {https://arxiv.org/abs/2505.20047},
  note = {Source identifier: 2505.20047}
}