Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2505.20047
Cited By
Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
26 May 2025
Debargha Ganguly
Vikash Singh
Sreehari Sankar
Biyao Zhang
Xuecen Zhang
Srinivasan Iyengar
Xiaotian Han
Amit Sharma
Shivkumar Kalyanaraman
Vipin Chaudhary
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks"
1 / 1 papers shown
Title
Simple and Principled Uncertainty Estimation with Deterministic Deep Learning via Distance Awareness
Jeremiah Zhe Liu
Zi Lin
Shreyas Padhy
Dustin Tran
Tania Bedrax-Weiss
Balaji Lakshminarayanan
UQCV
BDL
284
452
0
17 Jun 2020
1