VS
Vikash Singh
cs.AIcs.LGcs.CLcs.CVcs.LOcs.CRcs.ROcs.DCcs.IRstat.ME
On Valency
published · living versionsW_mmefdpxh·v1 · currentpublished
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
with Sreehari Sankar, Debargha Ganguly, Mohsen Hariri, Weicong Chen +15
1 version
W_etmeccs6·v1published
Preprints & journals
15 papers in the corpus · 2026Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning2610.15258v1 · Debargha Ganguly, Weicong Chen, Mohsen Hariri et al.2026 · 0 citationsarXiv
Beyond Solver Verdicts: Generative Reward Models for Autoformalization2609.11085v2 · Vikash Singh, Debargha Ganguly, Aman Goel et al.2026 · 0 citationsarXiv
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean2609.09264v1 · Idan Davidovich, Debargha Ganguly, Vikash Singh et al.2026 · 0 citationsarXiv
Auditing Cross-Lingual Fairness in Language Model Watermarking2608.20047v1 · Alexander Nemecek, Osama Zafar, Debargha Ganguly et al.2026 · 0 citationsarXiv
Imagining Recovery: Inference-Time Counterfactual Realignment for Vision-Language-Action Models2608.14822v1 · Yanyan Zhang, Disheng Liu, Kai Ye 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
Privacy Policy Enforcement Guardrails for Data-Sensitive Retrieval-Augmented Generation2605.17034v2 · Osama Zafar, Alexander Nemecek, Yiqian Zhang 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
Overcoming Dynamics-Blindness: Training-Free Pace-and-Path Correction for VLA Models2605.11459v2 · Yanyan Zhang, Chaoda Song, Vikash Singh et al.2026 · 0 citationsarXiv
Path-Lock Expert: Separating Reasoning Mode in Hybrid Thinking via Architecture-Level Separation2604.27201v3 · Shouren Wang, Wang Yang, Chuang Ma et al.2026 · 0 citationsarXiv
Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification2602.24111v2 · Vikash Singh, Debargha Ganguly, Haotian Yu et al.2026 · 0 citationsarXiv
Trust The Typical2602.04581v1 · Debargha Ganguly, Sreehari Sankar, Biyao Zhang et al.2026 · 0 citationsarXiv
CausalRAG2: Hierarchical Causal Knowledge Graph Design for RAG2602.05143v2 · Nengbo Wang, Tuo Liang, Vikash Singh et al.2026 · 0 citationsarXiv
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning2601.20055v3 · Vikash Singh, Darion Cassel, Nathaniel Weir et al.2026 · 0 citationsarXiv
Career total: 17 works. 15 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.