Vikash Singh

1. Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
   2025/05/26 by Debargha Ganguly, Vikash Singh, Ganguly, Debargha +18 · 4 voices · 3 citations
   Computer Science · #Multi-Agent Systems and Negotiation #cs.AI #cs.CL #cs.LO #cs.SE
2. Quantum Graph Neural Networks
   2019/09/26 by Guillaume Verdon, Trevor McCourt, Verdon, Guillaume +8 · 8 citations
   Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Physical sciences #Machine Learning (cs.LG) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Quantum and electron transport phenomena
3. Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
   2026/02/27 by Vikash Singh, Debargha Ganguly, Haotian Yu +5 · 2 voices
   #cs.CV #cs.AI #cs.CL #cs.LO
4. K⁴: Online Log Anomaly Detection Via Unsupervised Typicality Learning
   2025/07/26 by Weicong Chen, Vikash Singh, Chen, Weicong +9 · 2 voices
   Computer Science · #Computation and Language (cs.CL) #Distributed #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel #and Cluster Computing (cs.DC) #cs.CL #cs.DC #cs.LG
5. VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
   2026/01/27 by Vikash Singh, Darion Cassel, Nathaniel Weir +2 · 1 voice
   Computer Science · #cs.CL #cs.AI
6. Bayesian Binary Search
   2024/10/02 by Vikash Singh, Matthew Khanzadeh, Singh, Vikash +11 · 1 citation
   Computer Science · #Bayesian Modeling and Causal Inference #Data Management and Algorithms #FOS: Computer and information sciences #Machine Learning (cs.LG) #Metaheuristic Optimization Algorithms Research
7. Channel Balance Interpolation in the Lightning Network via Machine Learning
   2024/05/20 by Emanuele Rossi, Davis, Vincent, Vikash Singh +2 · 1 citation
   Physics and Astronomy · Computer Science · #Lightning and Electromagnetic Phenomena #Computational Physics and Python Applications