SS
Sreehari Sankar
cs.AIcs.LGcs.CLcs.LOcs.DCcs.IRcs.SEstat.ME
On Valency
published · living versionsW_mmefdpxh·v1 · currentpublished
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
with Debargha Ganguly, Vikash Singh, Mohsen Hariri, Weicong Chen +15
1 version
Preprints & journals
8 papers in the corpus · 2022–2026Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning2610.15258v1 · Debargha Ganguly, Weicong Chen, Mohsen Hariri et al.2026 · 0 citationsarXiv
Test-Time Scaling in Reasoning LLMs: Inference Regimes, Evaluation, and Reproducibility2608.04001v2 · Mohsen Hariri, Weicong Chen, Nahal Shahini et al.2026 · 0 citationsarXiv
CausalGuard: Conformal Inference under Graph Uncertainty2605.21928v1 · Vikash Singh, Weicong Chen, Debargha Ganguly et al.2026 · 0 citationsarXiv
Reliability-Gated Source Anchoring for Continual Test-Time Adaptation2605.14063v2 · Vikash Singh, Debargha Ganguly, Weicong Chen et al.2026 · 0 citationsarXiv
Analyzing LLM Reasoning to Uncover Mental Health Stigma2604.25053v2 · Sreehari Sankar, Aliakbar Nafar, Mona Barman et al.2026 · 0 citationsarXiv
Trust The Typical2602.04581v1 · Debargha Ganguly, Sreehari Sankar, Biyao Zhang et al.2026 · 0 citationsarXiv
Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks2505.20047v1 · Debargha Ganguly, Vikash Singh, Sreehari Sankar et al.2025 · 2 citationsarXiv
Adversarial and Safely Scaled Question Generation2210.09467v1 · Sreehari Sankar, Zhihang Dong2022 · 0 citationsarXiv
Career total: 9 works. 8 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.