| 2026 | ACL | NSF-CoT: Neuro-Symbolic Formal Verification of Chain-of-Thought Faithfulness in Contextual Question Answering. | Vishal Pramanik, Maisha Maliha, Nathaniel D. Bastian, Alvaro Velasquez, Susmit Jha, Sumit Kumar Jha |
| 2025 | AISTATS | Explaining ViTs Using Information Flow. | Chase Walker, Md Rubel Ahmed, Sumit Kumar Jha, Rickard Ewetz |
| 2025 | ICLR | Metric-Driven Attributions for Vision Transformers. | Chase Walker, Sumit Kumar Jha, Rickard Ewetz |
| 2025 | ICML | Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs. | William H. English, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz |
| 2025 | ICMLA | Street2Air: A Framework for Synthesizing Aerial Vehicle Views from Ground Images. | Md Rubel Ahmed, Fazle Rahat, M. Shifat Hossain, Sumit Kumar Jha, Rickard Ewetz |
| 2025 | ICMLA | Post-training Quantization without BN Statistics: A Data Free Approach. | Akash Chavan, Sumit Kumar Jha, Sunny Raj |
| 2025 | ICMLA | Multitask Contrastive Learning using Task-Wise Training and Partitioned Embedding Space. | M. Shifat Hossain, Sumit Kumar Jha, Hao Zheng, Rickard Ewetz |
| 2025 | ICMLA | Attr-RAG: Attribution-Guided Retrieval-Augmented Generation for Scientific Experiment Design. | Fazle Rahat, M. Shifat Hossain, Arvind Ramanathan, Sumit Kumar Jha, Hao Zheng, Rickard Ewetz |
| 2025 | IJCNN | Detecting and Removing Adversarial Patches using Frequency Signatures. | Dominic Simon, Chase Walker, Sumit Kumar Jha, Rickard Ewetz |
| 2025 | WACV | Data Augmentation for Image Classification Using Generative AI. | Fazle Rahat, M. Shifat Hossain, Md Rubel Ahmed, Sumit Kumar Jha, Rickard Ewetz |
| 2024 | AAAI | Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision. | Chase Walker, Sumit Kumar Jha, Kenny Chen, Rickard Ewetz |
| 2024 | ASPDAC | Towards Area-Efficient Path-Based In-Memory Computing using Graph Isomorphisms. | Sven Thijssen, Muhammad Rashedul Haq Rashed, Hao Zheng, Sumit Kumar Jha, Rickard Ewetz |
| 2024 | ASPDAC | READ-based In-Memory Computing using Sentential Decision Diagrams. | Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz |
| 2024 | DAC | On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers. | Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez |
| 2024 | DAC | Synthesis of Compact Flow-based Computing Circuits from Boolean Expressions. | Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz |
| 2024 | ICCAD | Equivalence Checking for Flow-Based Computing using Iterative SAT Solving. | Sven Thijssen, Muhammad Rashedul Haq Rashed, Md Rubel Ahmed, Suraj Singireddy, Sumit Kumar Jha, Rickard Ewetz |
| 2024 | ICMLA | NSP: A Neuro-Symbolic Natural Language Navigational Planner. | William English, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz |
| 2024 | ICMLA | Out-of-Distribution Detection for Contrastive Models Using Angular Distance Measures. | M. Shifat Hossain, Sumit Kumar Jha, Chase Walker, Rickard Ewetz |
| 2024 | MEMOCODE | Neuro-symbolic Generative AI Assistant for System Design. | Susmit Jha, Sumit Kumar Jha, Alvaro Velasquez |
| 2023 | ASPDAC | Discovering the in-Memory Kernels of 3D Dot-Product Engines. | Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz |
| 2023 | ASPDAC | FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter. | Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz |
| 2023 | DAC | UpTime: Towards Flow-based In-Memory Computing with High Fault-Tolerance. | Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz |
| 2023 | ICCAD | Automated Synthesis for In-Memory Computing. | Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz |
| 2023 | ICCAD | Path-Based Processing using In-Memory Systolic Arrays for Accelerating Data-Intensive Applications. | Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Hao Zheng, Rickard Ewetz |
| 2023 | ICCAD | Verification of Flow-Based Computing Systems Using Bounded Model Checking. | Sven Thijssen, Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz |
| 2023 | ICCD | Input-Aware Flow-Based In-Memory Computing. | Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sven Thijssen, Rickard Ewetz, Sumit Kumar Jha |
| 2022 | AAAI | Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations. | Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, Susmit Jha |
| 2022 | ASPDAC | STREAM: Towards READ-based In-Memory Computing for Streaming based Data Processing. | Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Fan Yao, Rickard Ewetz |
| 2022 | DAC | Towards resilient analog in-memory deep learning via data layout re-organization. | Muhammad Rashedul Haq Rashed, Amro Awad, Sumit Kumar Jha, Rickard Ewetz |
| 2022 | DAC | PATH: evaluation of boolean logic using path-based in-memory computing. | Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz |
| 2022 | DATE | Hybrid Digital-Digital In-Memory Computing. | Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Fan Yao, Rickard Ewetz |
| 2022 | ECCV | Attribution-Based Confidence Metric for Detection of Adversarial Attacks on Breast Histopathological Images. | Steven Lawrence Fernandes, Senka Krivic, Poonam Sharma, Sumit Kumar Jha |
| 2022 | ICCAD | Logic Synthesis for Digital In-Memory Computing. | Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz |
| 2022 | ICCD | Equivalence Checking for Flow-Based Computing. | Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz |
| 2022 | IJCAI | ExplainIt!: A Tool for Computing Robust Attributions of DNNs. | Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, Susmit Jha |
| 2021 | DATE | COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter. | Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz |
| 2021 | ICCAD | Hybrid Analog-Digital In-Memory Computing. | Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz |
| 2021 | IJCAI | On Smoother Attributions using Neural Stochastic Differential Equations. | Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Susmit Jha |
| 2021 | ISCAS | Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures. | Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha |
| 2020 | CVPR | Detecting Deepfake Videos using Attribution-Based Confidence Metric. | Steven Lawrence Fernandes, Sunny Raj, Rickard Ewetz, Jodh Singh Pannu, Sumit Kumar Jha, Eddy Ortiz, Iustina Vintila, Margaret Salter |
| 2020 | ECCV | Adversarial Attack on Deepfake Detection Using RL Based Texture Patches. | Steven Lawrence Fernandes, Sumit Kumar Jha |
| 2020 | ICCAD | DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision. | Necati Uysal, Baogang Zhang, Sumit Kumar Jha, Rickard Ewetz |
| 2019 | IJCAI | On the Susceptibility of Deep Neural Networks to Natural Perturbations. | Mesut Ozdag, Sunny Raj, Steven Lawrence Fernandes, Alvaro Velasquez, Laura Pullum, Sumit Kumar Jha |
| 2018 | DATE | In-memory computing using paths-based logic and heterogeneous components. | Alvaro Velasquez, Sumit Kumar Jha |
| 2018 | ICCD | 3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability. | Alvaro Velasquez, Sumit Kumar Jha |
| 2018 | SPAA | Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint Memory. | Alvaro Velasquez, Sumit Kumar Jha |
| 2017 | DATE | Automated synthesis of compact crossbars for sneak-path based in-memory computing. | Dwaipayan Chakraborty, Sumit Kumar Jha |
| 2017 | EMSOFT | Testing autonomous cyber-physical systems using fuzzing features from convolutional neural networks: work-in-progress. | Sunny Raj, Sumit Kumar Jha, Arvind Ramanathan, Laura L. Pullum |
| 2017 | ISCAS | Design of compact memristive in-memory computing systems using model counting. | Dwaipayan Chakraborty, Sumit Kumar Jha |
| 2017 | ISCAS | Computation of Boolean matrix chain products in 3D ReRAM. | Alvaro Velasquez, Sumit Kumar Jha |
| 2016 | DATE | Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision. | Arvind Ramanathan, Laura L. Pullum, Faraz Hussain, Dwaipayan Chakrabarty, Sumit Kumar Jha |
| 2016 | ISCAS | Flow-based computing on nanoscale crossbars: Design and implementation of full adders. | Zahiruddin Alamgir, Karsten Beckmann, Nathaniel C. Cady, Alvaro Velasquez, Sumit Kumar Jha |
| 2016 | ISCAS | Automated synthesis of stochastic computational elements using decision procedures. | Amad Ul Hassen, Brigadesh Chandrasekar, Sumit Kumar Jha |
| 2016 | ISCAS | Parallel boolean matrix multiplication in linear time using rectifying memristors. | Alvaro Velasquez, Sumit Kumar Jha |
| 2016 | NCA | The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks. | Alvaro Velasquez, Piotr Wojciechowski, K. Subramani, Steven L. Drager, Sumit Kumar Jha |
| 2015 | ICCD | Fault-tolerant in-memory crossbar computing using quantified constraint solving. | Alvaro Velasquez, Sumit Kumar Jha |
| 2015 | VMCAI | Distributed Markov Chains. | Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan |
| 2011 | DATE | When to stop verification?: Statistical trade-off between expected loss and simulation cost. | Sumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, S. Ramesh |
| 2008 | APBC | Symbolic Approaches for Finding Control Strategies in Boolean Networks. | Christopher James Langmead, Sumit Kumar Jha |
| 2007 | SEFM | Verification of Object Relational Maps. | Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha |
| 2007 | WABI | Predicting Protein Folding Kinetics Via Temporal Logic Model Checking. | Christopher James Langmead, Sumit Kumar Jha |