Showing cs.CLShow all
2 papers · 1 filter
cs.CL2026
Trust The Typical
Debargha Ganguly, Sreehari Sankar, Biyao Zhang +8
Current approaches to LLM safety fundamentally rely on a brittle cat-and-mouse game of identifying and blocking known threats via guardrails. We argue for a fresh approach: robust…
cs.CL2025
Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
Debargha Ganguly, Vikash Singh, Sreehari Sankar +7
Large language models (LLMs) show remarkable promise for democratizing automated reasoning by generating formal specifications. However, a fundamental tension exists: LLMs are prob…