VC
Vipin Chaudhary
cs.LGcs.AIcs.CLcs.CVquant-phAlgorithmscs.CRcs.DCcs.ETcs.LO
On Valency
published · living versionsW_u8955kt7·v1 · currentpublished
Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
with Debargha Ganguly, Srinivasan Iyengar, Shivkumar Kalyanaraman
1 version
W_z2x5rztz·v1published
Preprints & journals
84 papers in the corpus · 2006–2026What Can't Jev Decide? Probing the Limits of One-Pass Decision Models2610.24929v1 · Wang Yang, Xinpeng Li, Yanyan Zhang et al.2026 · 0 citationsarXivon Valency
Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning2610.15258v1 · Debargha Ganguly, Weicong Chen, Mohsen Hariri et al.2026 · 0 citationsarXiv
How to Loop MoE: Flatten the Experts, Untie the Attention2609.35751v1 · Shouren Wang, Chuang Ma, Mohsen Hariri et al.2026 · 0 citationsarXiv
Toward Comprehensive 3D Grounding: Orientation Grounding through Vision-Language Models2609.33109v1 · Tuo Liang, Disheng Liu, Nengbo Wang 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
Test-Time Scaling in Reasoning LLMs: Inference Regimes, Evaluation, and Reproducibility2608.04001v2 · Mohsen Hariri, Weicong Chen, Nahal Shahini et al.2026 · 0 citationsarXiv
InterQ: Communication-Aware Scheduling Across Modular QPUs with Classical and Quantum Links2605.17769v1 · Vinooth Kulkarni, Jaehyun Lee, Lauren Li 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
LRD-Net: A Lightweight Real-Centered Detection Network for Cross-Domain Face Forgery Detection2604.10862v1 · Xuecen Zhang, Vipin Chaudhary2026 · 1 citationarXiv
QuMod: Parallel Quantum Job Scheduling on Modular QPUs using Circuit Cutting2604.11013v1 · Vinooth Kulkarni, Aaron Orenstein, Xinpeng Li et al.2026 · 1 citationarXiv
Efficient Transpilation of OpenQASM 3.0 Dynamic Circuits to CUDA-Q: Performance and Expressiveness Advantages2604.11599v1 · Vinooth Kulkarni, Jaehyun Lee, Adam Hutchings et al.2026 · 0 citationsarXiv
Multi-label Ensemble Model for Knee Joint Anatomy and Lesion Segmentation: Segmentation of Clinical Images With Ensembling, Morphology, and Attention (SCEMA).41915620 · Yu, Andrew Seohwan, Yang, Mingrui, Nakamura, Kunio et al.2026 · 2 citationsMagnetic resonance in medicine. 2026;96(2):918-927
Medical Image Spatial Grounding with Semantic Sampling2603.14579v3 · Andrew Seohwan Yu, Mohsen Hariri, Kunio Nakamura et al.2026 · 0 citationsarXiv
Scorio.jl: A Julia package for ranking stochastic responses2603.14103v1 · Mohsen Hariri, Michael Hinczewski, Vipin Chaudhary2026 · 0 citationsarXiv
Ranking Reasoning LLMs under Test-Time Scaling2603.10960v1 · Mohsen Hariri, Michael Hinczewski, Jing Ma et al.2026 · 0 citationsThe 64th Annual Meeting of the Association for Computational Linguistics (ACL), 2026
Mid-Think: Training-Free Intermediate-Budget Reasoning via Token-Level Triggers2601.07036v2 · Wang Yang, Debargha Ganguly, Xinpeng Li et al.2026 · 0 citationsarXiv
HOPPS: Hardware-Aware Optimal Phase Polynomial Synthesis with Blockwise Optimization for Quantum Circuits2511.18770v1 · Xinpeng Li, Ji Liu, Shuai Xu et al.2025 · 0 citationsarXiv
Rethinking Vision Transformer Depth via Structural Reparameterization2511.19718v1 · Chengwei Zhou, Vipin Chaudhary, Gourav Datta2025 · 0 citationsarXiv
Exploring Membership Inference Vulnerabilities in Clinical Large Language Models2510.18674v1 · Alexander Nemecek, Zebin Yun, Zahra Rahmani et al.2025 · 1 citationarXiv
NEBULA: Do We Evaluate Vision-Language-Action Agents Correctly?2510.16263v2 · Jierui Peng, Yanyan Zhang, Yicheng Duan et al.2025 · 1 citationarXiv
Don't Pass@k: A Bayesian Framework for Large Language Model Evaluation2510.04265v4 · Mohsen Hariri, Amirhossein Samandar, Michael Hinczewski et al.2025 · 0 citationsThe Fourteenth International Conference on Learning Representations (ICLR), 2026
LABELING COPILOT: A Deep Research Agent for Automated Data Curation in Computer Vision2509.22631v1 · Debargha Ganguly, Sumit Kumar, Ishwar Balappanawar et al.2025 · 1 citationarXiv
Efficient Fine-Grained GPU Performance Modeling for Distributed Deep Learning of LLM2509.22832v1 · Biyao Zhang, Mingkai Zheng, Debargha Ganguly et al.2025 · 0 citationsarXiv
: Online Log Anomaly Detection Via Unsupervised Typicality Learning2507.20051v1 · Weicong Chen, Vikash Singh, Zahra Rahmani et al.2025 · 2 citations2025 IEEE 32nd International Conference on High Performance Computing, Data, and Analytics (HiPC), pp. 96-107, 2025
State Dependent Optimization with Quantum Circuit Cutting2506.05722v1 · Xinpeng Li, Ji Liu, Jeffrey M. Larson et al.2025 · 0 citationsarXiv
AutoL2S: Auto Long-Short Reasoning for Efficient Large Language Models2505.22662v2 · Feng Luo, Yu-Neng Chuang, Guanchu Wang et al.2025 · 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
100-LongBench: Are de facto Long-Context Benchmarks Literally Evaluating Long-Context Ability?2505.19293v2 · Wang Yang, Hongye Jin, Shaochen Zhong et al.2025 · 1 citationarXiv
70% Size, 100% Accuracy: Lossless LLM Compression for Efficient GPU Inference via Dynamic-Length Float (DFloat11)2504.11651v3 · Tianyi Zhang, Mohsen Hariri, Shaochen Zhong et al.2025 · 1 citationarXiv
Speculative Thinking: Enhancing Small-Model Reasoning with Large Model Guidance at Inference Time2504.12329v2 · Wang Yang, Xiang Yue, Vipin Chaudhary et al.2025 · 0 citationsarXiv
CausalRAG: Integrating Causal Graphs into Retrieval-Augmented Generation2503.19878v3 · Nengbo Wang, Xiaotian Han, Jagdip Singh et al.2025 · 14 citationsarXiv
Quantize What Counts: More for Keys, Less for Values2502.15075v3 · Mohsen Hariri, Alan Luo, Weicong Chen et al.2025 · 0 citationsThe 64th Annual Meeting of the Association for Computational Linguistics (ACL), 2026
Masked-speech Recognition Using Human and Synthetic Cloned Speech.41358594 · Calandruccio, Lauren, Hariri, Mohsen, Buss, Emily et al.2025 · 2 citationsTrends in hearing. 2025;29:23312165251403080
Approaches to Simultaneously Solving Variational Quantum Eigensolver Problems2410.21413v1 · Adam Hutchings, Eric Yarnot, Xinpeng Li et al.2024 · 1 citationarXiv
Efficient Circuit Wire Cutting Based on Commuting Groups2410.20313v1 · Xinpeng Li, Vinooth Kulkarni, Daniel T. Chen et al.2024 · 5 citationsarXiv
Taylor Unswift: Secured Weight Release for Large Language Models via Taylor Expansion2410.05331v2 · Guanchu Wang, Yu-Neng Chuang, Ruixiang Tang et al.2024 · 0 citationsarXiv
Forte : Finding Outliers with Representation Typicality Estimation2410.01322v2 · Debargha Ganguly, Warren Morningstar, Andrew Yu et al.2024 · 0 citationsarXiv
Visual Concept Networks: A Graph-Based Approach to Detecting Anomalous Data in Deep Neural Networks2409.18235v1 · Debargha Ganguly, Debayan Gupta, Vipin Chaudhary2024 · 0 citationsarXiv
Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning2409.17270v2 · Debargha Ganguly, Srinivasan Iyengar, Vipin Chaudhary et al.2024 · 0 citationsarXivon Valency
Novel adaptation of video segmentation to 3D MRI: efficient zero-shot knee segmentation with SAM22408.04762v1 · Andrew Seohwan Yu, Mohsen Hariri, Xuecen Zhang et al.2024 · 1 citationProc. SPIE 13411, Medical Imaging 2025: Imaging Informatics, 134110D (10 April 2025)
Privacy-Preserving Collaborative Genomic Research: A Real-Life Deployment and Vision2407.09004v1 · Zahra Rahmani, Nahal Shahini, Nadav Gat et al.2024 · 5 citationsarXiv
KV Cache Compression, But What Must We Give in Return? A Comprehensive Benchmark of Long Context Capable Approaches2407.01527v2 · Jiayi Yuan, Hongyi Liu, Shaochen Zhong et al.2024 · 7 citationsarXiv
Unsupervised Segmentation of Knee Bone Marrow Edema-like Lesions Using Conditional Generative Models.38927762 · Yu, Andrew Seohwan, Yang, Mingrui, Lartey, Richard et al.2025 · 3 citationsBioengineering (Basel, Switzerland). 2024;11(6)
LoRATK: LoRA Once, Backdoor Everywhere in the Share-and-Play Ecosystem2403.00108v2 · Hongyi Liu, Shaochen Zhong, Xintong Sun et al.2024 · 6 citationsarXiv
Learning the Market: Sentiment-Based Ensemble Trading Agents2402.01441v2 · Andrew Ye, James Xu, Vidyut Veedgav et al.2024 · 0 citationsarXiv
An automated approach for improving the inference latency and energy efficiency of pretrained CNNs by removing irrelevant pixels with focused convolutions2310.07782v1 · Caleb Tung, Nicholas Eliopoulos, Purvish Jajal et al.2023 · 0 citationsarXiv
Online Detection of Golden Circuit Cutting Points2308.10153v1 · Daniel T. Chen, Ethan H. Hansen, Xinpeng Li et al.2023 · 9 citationsarXiv
Efficient Quantum Circuit Cutting by Neglecting Basis Elements2304.04093v1 · Daniel T. Chen, Ethan H. Hansen, Xinpeng Li et al.2023 · 15 citationsarXiv
Approximate Quantum Circuit Cutting2212.01270v1 · Daniel Chen, Betis Baheri, Vipin Chaudhary et al.2022 · 1 citationarXiv
Career total: 311 works. 84 are in this corpus.Showing the 50 most recent.
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.