Get started
Author

Vikash Singh

Observed name: Singh, Vikash
Observed institution: Case Western Reserve University
OpenAlex ID: A5127843036
Scaling Lean Theorem Proving for Real-World Code Verification
2026 · Ganguly, Debargha, Raghunathan, Divya, et al. · arXiv (Cornell University)
PDF
Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning
2026 · Ganguly, Debargha, Chen, Weicong, et al. · arXiv (Cornell University)
PDF
Beyond Solver Verdicts: Generative Reward Models for Autoformalization
2026 · Singh, Vikash, Ganguly, Debargha, et al. · arXiv (Cornell University)
PDF
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
2026 · Davidovich, Idan, Ganguly, Debargha, et al. · arXiv (Cornell University)
PDF
Auditing Cross-Lingual Fairness in Language Model Watermarking
2026 · Nemecek, Alexander, Zafar, Osama, et al. · arXiv (Cornell University)
PDF
Imagining Recovery: Inference-Time Counterfactual Realignment for Vision-Language-Action Models
2026 · Zhang, Yanyan, Liu, Disheng, et al. · arXiv (Cornell University)
PDF
Test-Time Scaling in Reasoning LLMs: Inference Regimes, Evaluation, and Reproducibility
2026 · Hariri, Mohsen, Chen, Weicong, et al. · arXiv (Cornell University)
PDF
CausalGuard: Conformal Inference under Graph Uncertainty
2026 · Singh, Vikash, Chen, Weicong, et al. · arXiv (Cornell University)
PDF
Privacy Policy Enforcement Guardrails for Data-Sensitive Retrieval-Augmented Generation
2026 · Zafar, Osama, Nemecek, Alexander, et al. · arXiv (Cornell University)
PDF
Reliability-Gated Source Anchoring for Continual Test-Time Adaptation
2026 · Singh, Vikash, Ganguly, Debargha, et al. · arXiv (Cornell University)
PDF
Overcoming Dynamics-Blindness: Training-Free Pace-and-Path Correction for VLA Models
2026 · Zhang, Yanyan, Song, Chaoda, et al. · arXiv (Cornell University)
PDF
Path-Lock Expert: Separating Reasoning Mode in Hybrid Thinking via Architecture-Level Separation
2026 · Wang, Shouren, Yang, Wang, et al. · arXiv (Cornell University)
PDF
Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
2026 · Singh, Vikash, Ganguly, Debargha, et al. · arXiv (Cornell University)
PDF
CausalRAG2: Hierarchical Causal Knowledge Graph Design for RAG
2026 · Wang, Nengbo, Liang, Tuo, et al. · arXiv (Cornell University)
PDF
Trust The Typical
2026 · Ganguly, Debargha, Sankar, Sreehari, et al. · arXiv (Cornell University)
PDF
Mid-Think: Training-Free Intermediate-Budget Reasoning via Token-Level Triggers
2026 · Yang, Wang, Ganguly, Debargha, et al. · arXiv (Cornell University)
PDF
VERGE : Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
2026 · Vikash Singh, Darion Cassel, et al. · Findings of the Association for Computational Linguistics: EMNLP (Findings of EMNLP)
PDF
Works count: 18
Citation count:
H-index:
I10-index:
Year
Topic
Type