Susmit Jha

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 89

Top Venues

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Susmit Jha, Prem Devanbu, Toufique Ahmed
Quality and Trust in LLM-generated Code. CoRR (2024)
Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Yahan Yang, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. ICCPS (2023)
Karan Sikka, Indranil Sur, Anirban Roy, Ajay Divakaran, Susmit Jha
Detecting Trojaned DNNs Using Counterfactual Attributions. ICAA (2023)
Adam D. Cobb, Anirban Roy, Daniel Elenius, F. Michael Heim, Brian Swenson, Sydney Whittington, James D. Walker, Theodore Bapty, Joseph Hite, Karthik Ramani, Christopher McComb, Susmit Jha
AircraftVerse: A Large-Scale Multimodal Dataset of Aerial Vehicle Designs. CoRR (2023)
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. CoRR (2023)
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. MILCOM (2023)
Hassen Saïdi, Susmit Jha, Tuhin Sahai
math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories. CoRR (2023)
Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha
On the Robustness of AlphaFold: A COVID-19 Case Study. CoRR (2023)
Adam D. Cobb, Brian Matejek, Daniel Elenius, Anirban Roy, Susmit Jha
Direct Amortized Likelihood Ratio Estimation. CoRR (2023)
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. MILCOM (2023)
Adam B. Cobb, Anirban Roy, Daniel Elenius, F. Michael Heim, Brian Swenson, Sydney Whittington, James D. Walker, Theodore Bapty, Joseph Hite, Karthik Ramani, Christopher McComb, Susmit Jha
AircraftVerse: A Large-Scale Multimodal Dataset of Aerial Vehicle Designs. NeurIPS (2023)
Indranil Sur, Karan Sikka, Matthew Walmer, Kaushik Koneripalli, Anirban Roy, Xiao Lin, Ajay Divakaran, Susmit Jha
TIJO: Trigger Inversion with Joint Optimization for Defending Multimodal Backdoored Models. ICCV (2023)
Indranil Sur, Karan Sikka, Matthew Walmer, Kaushik Koneripalli, Anirban Roy, Xiao Lin, Ajay Divakaran, Susmit Jha
TIJO: Trigger Inversion with Joint Optimization for Defending Multimodal Backdoored Models. CoRR (2023)
Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. ICAA (2023)
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving. CoRR (2023)
Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha
Principled OOD Detection via Multiple Testing. ISIT (2023)
Susmit Jha, Anirban Roy, Adam D. Cobb, Alexander M. Berenbeim, Nathaniel D. Bastian
Challenges and Opportunities in Neuro-Symbolic Composition of Foundation Models. MILCOM (2023)
Susmit Jha
Lightning Talk: Trinity - Assured Neuro-symbolic Model Inspired by Hierarchical Predictive Coding. DAC (2023)
Alexander M. Berenbeim, Iain J. Cruickshank, Susmit Jha, Robert H. Thomson, Nathaniel D. Bastian
Measuring Classification Decision Certainty and Doubt. CoRR (2023)
Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. ICAA (2023)
Manoj Acharya, Anirban Roy, Kaushik Koneripalli, Susmit Jha, Christopher Kanan, Ajay Divakaran
Detecting Out-Of-Context Objects Using Graph Contextual Reasoning Network. IJCAI (2022)
Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha
Multiple Testing Framework for Out-of-Distribution Detection. CoRR (2022)
Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, Susmit Jha
Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations. AAAI (2022)
Susmit Jha, John Rushby
Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions. CoRR (2022)
Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection. CoRR (2022)
Jingtong Hu, Qi Zhu, Susmit Jha
Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems - Part 2. ACM Trans. Cyber Phys. Syst. 6 (2) (2022)
Edmond Cunningham, Adam Cobb, Susmit Jha
Principal Manifold Flows. CoRR (2022)
Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection. AAAI (2022)
Adam D. Cobb, Anirban Roy, Daniel Elenius, Susmit Jha
Design of Unmanned Air Vehicles Using Transformer Surrogate Models. CoRR (2022)
Xiaoling Hu, Xiao Lin, Michael Cogswell, Yi Yao, Susmit Jha, Chao Chen
Trigger Hunting with a Topological Prior for Trojan Detection. ICLR (2022)
Edmond Cunningham, Adam D. Cobb, Susmit Jha
Principal Component Flows. ICML (2022)
Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, Susmit Jha
ExplainIt!: A Tool for Computing Robust Attributions of DNNs. IJCAI (2022)
Tarek F. Abdelzaher, Nathaniel D. Bastian, Susmit Jha, Lance M. Kaplan, Mani B. Srivastava, Venugopal V. Veeravalli
Context-aware Collaborative Neuro-Symbolic Inference in IoBTs. MILCOM (2022)
Matthew Walmer, Karan Sikka, Indranil Sur, Abhinav Shrivastava, Susmit Jha
Dual-Key Multimodal Backdoors for Visual Question Answering. CVPR (2022)
Manoj Acharya, Anirban Roy, Kaushik Koneripalli, Susmit Jha, Christopher Kanan, Ajay Divakaran
Detecting out-of-context objects using contextual cues. CoRR (2022)
Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data. CoRR (2022)
Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha
Online Defense of Trojaned Models using Misattributions. CoRR (2021)
Susmit Jha, Anirban Roy
On Detection of Out of Distribution Inputs in Deep Neural Networks. CogMI (2021)
Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Susmit Jha
On Smoother Attributions using Neural Stochastic Differential Equations. IJCAI (2021)
Sumit Kumar Jha, Arvind Ramanathan, Rickard Ewetz, Alvaro Velasquez, Susmit Jha
Protein Folding Neural Networks Are Not Robust. CoRR (2021)
Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha
Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures. ISCAS (2021)
Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee
Detecting OODs as datapoints with High Uncertainty. CoRR (2021)
Xiaoling Hu, Xiao Lin, Michael Cogswell, Yi Yao, Susmit Jha, Chao Chen
Trigger Hunting with a Topological Prior for Trojan Detection. CoRR (2021)
Matthew Walmer, Karan Sikka, Indranil Sur, Abhinav Shrivastava, Susmit Jha
Dual-Key Multimodal Backdoors for Visual Question Answering. CoRR (2021)
Jingtong Hu, Qi Zhu, Susmit Jha
Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems: Part 1. ACM Trans. Cyber Phys. Syst. 5 (4) (2021)
Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha
MISA: Online Defense of Trojaned Models using Misattributions. ACSAC (2021)
Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs. CoRR (2021)
Uyeong Jang, Susmit Jha, Somesh Jha
On the Need for Topology-Aware Generative Models for Manifold-Based Defenses. ICLR (2020)
Dawei Sun, Susmit Jha, Chuchu Fan
Learning Certified Control Using Contraction Metric. CoRL (2020)
Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li
TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning. DAC (2020)
Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha
Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. AAAI (2020)
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Sunny Raj, Alvaro Velasquez, Laura L. Pullum, Ananthram Swami
An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks. CoRR (2020)
Dawei Sun, Susmit Jha, Chuchu Fan
Learning Certified Control using Contraction Metric. CoRR (2020)
Susmit Jha, John Rushby, Natarajan Shankar
Model-Centered Assurance for Autonomous Systems. SAFECOMP (2020)
Karan Sikka, Indranil Sur, Susmit Jha, Anirban Roy, Ajay Divakaran
Detecting Trojaned DNNs Using Counterfactual Attributions. CoRR (2020)
Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Gunjan Verma, Brian Jalaian, Ananthram Swami
Attribution-driven Causal Analysis for Detection of Adversarial Examples. CoRR (2019)
Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis
Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae. J. Autom. Reason. 63 (4) (2019)
Susmit Jha, John Rushby
Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions. AAAI Spring Symposium: Towards Conscious AI Systems (2019)
Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha
Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. CoRR (2019)
Susmit Jha
Trust, Resilience and Interpretability of AI Models. NSV@CAV (2019)
Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar, Donggun Lee, Kevin M. Smith, Victoria Cheng, Jaime F. Fisac, Susmit Jha, Marco Pavone, Claire J. Tomlin
A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems. ACC (2019)
Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Sherlock - A tool for verification of neural network feedback systems: demo abstract. HSCC (2019)
Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar, Donggun Lee, Kevin M. Smith, Victoria Cheng, Jaime F. Fisac, Susmit Jha, Marco Pavone, Claire J. Tomlin
A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems. CoRR (2019)
Uyeong Jang, Susmit Jha, Somesh Jha
On Need for Topology Awareness of Generative Models. CoRR (2019)
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods Syst. Des. 54 (3) (2019)
Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li
TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents. CoRR (2019)
Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Brian Jalaian, Gunjan Verma, Ananthram Swami
Attribution-Based Confidence Metric For Deep Neural Networks. NeurIPS (2019)
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Output Range Analysis for Deep Feedforward Neural Networks. NFM (2018)
Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli
Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. ICDCS (2018)
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia
Learning Task Specifications from Demonstrations. NeurIPS (2018)
Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu
Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes. DSN Workshops (2018)
Susmit Jha, Uyeong Jang, Somesh Jha, Brian Jalaian
Detecting Adversarial Examples Using Data Manifolds. MILCOM (2018)
Susmit Jha, Sunny Raj, Sumit Kumar Jha, Natarajan Shankar
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. FORMATS (2018)
Shalini Ghosh, Amaury Mercier, Dheeraj Pichapati, Susmit Jha, Vinod Yegneswaran, Patrick Lincoln
Trusted Neural Networks for Safety-Constrained Autonomous Control. CoRR (2018)
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. ADHS (2018)
Susmit Jha, Patrick Lincoln
Data Efficient Learning of Robust Control Policies. Allerton (2018)
Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli
Toward an Internet of Battlefield Things: A Resilience Perspective. Computer 51 (11) (2018)
Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. J. Autom. Reason. 60 (1) (2018)
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia
Specification Inference from Demonstrations. CoRR (2017)
Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis
On Learning Sparse Boolean Formulae for Explaining AI Decisions. NFM (2017)
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Output Range Analysis for Deep Neural Networks. CoRR (2017)
Sanjit A. Seshia, Xiaojin (Jerry) Zhu, Andreas Krause, Susmit Jha
Machine Learning and Formal Method (Dagstuhl Seminar 17351). Dagstuhl Reports 7 (8) (2017)
Susmit Jha, Sanjit A. Seshia
A theory of formal synthesis via inductive learning. Acta Informatica 54 (7) (2017)
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
TeLEx: Passive STL Learning Using Only Positive Examples. RV (2017)
Susmit Jha, Vasumathi Raman
On Optimal Control of Stochastic Linear Hybrid Systems. FORMATS (2016)
Susmit Jha, Vasumathi Raman, Sanjit A. Seshia
On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. FMCAD (2016)
Susmit Jha, Vasumathi Raman
Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty. NFM (2016)
Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik
Optimizing mobile display brightness by leveraging human visual perception. CASES (2015)
Susmit Jha, Sanjit A. Seshia
A Theory of Formal Synthesis via Inductive Learning. CoRR (2015)
Susmit Jha, Sanjit A. Seshia
Are There Good Mistakes? A Theoretical Analysis of CEGIS. SYNT (2014)
Susmit Jha, Stavros Tripakis, Sanjit A. Seshia, Krishnendu Chatterjee
Game theoretic secure localization in wireless sensor networks. IOT (2014)
Arup Kumar Ghosh, Faraz Hussain, Susmit Jha, Christopher James Langmead, Sumit Kumar Jha
Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model. Int. J. Bioinform. Res. Appl. 10 (4/5) (2014)
Faraz Hussain, Sumit Kumar Jha, Susmit Jha, Christopher James Langmead
Parameter discovery in stochastic biological models using simulated annealing and statistical model checking. Int. J. Bioinform. Res. Appl. 10 (4/5) (2014)
Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik
CAPED: Context-aware personalized display brightness for mobile devices. CASES (2014)
Susmit Jha, Sanjit A. Seshia
SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction CoRR (2013)
Arup K. Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha
Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems. ICCABS (2012)
Sumit Kumar Jha, Raj Gautam Dutta, Christopher James Langmead, Susmit Jha, Emily Sassano
Synthesis of insulin pump controllers from safety specifications using Bayesian model validation. Int. J. Bioinform. Res. Appl. 8 (3/4) (2012)
Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha
Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing. ICCABS (2012)
Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
Synthesis of loop-free programs. PLDI (2011)
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
Synthesizing Switching Logic to Minimize Long-Run Cost CoRR (2011)

Susmit Jha.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Susmit Jha