Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
Paper
•
2505.20047
•
Published
•
3
Vikash Singh
optimusPrimeBee
·
AI & ML interests
Formal Reasoning, Fine tuning, Redundancy Mitigations
Organizations
None yet
authored
a
paper
5 months ago