default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSumit Kumar Jha 0001
- > Home > Persons > Sumit Kumar Jha 0001
Publications
- 2024
[j21]Ismail R. Alkhouri
, Sumit Kumar Jha, Andre Beckus, George K. Atia, Susmit Jha, Rickard Ewetz, Alvaro Velasquez:
Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences. IEEE Trans. Artif. Intell. 5(7): 3384-3392 (2024)- 2023
- [c80]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: 149-152 - [c75]Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez:
Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. MILCOM 2023: 655-660 - [c73]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: 944-949 - [i13]Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha:
On the Robustness of AlphaFold: A COVID-19 Case Study. CoRR abs/2301.04093 (2023) - [i12]Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez:
Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. CoRR abs/2309.15386 (2023) - [i11]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 abs/2309.16436 (2023) - 2022
- [c72]Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, Susmit Jha:
Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations. AAAI 2022: 9567-9574 - [c63]Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, Susmit Jha:
ExplainIt!: A Tool for Computing Robust Attributions of DNNs. IJCAI 2022: 5916-5919 - 2021
- [c59]Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Susmit Jha:
On Smoother Attributions using Neural Stochastic Differential Equations. IJCAI 2021: 522-528 - [c58]Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha:
Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures. ISCAS 2021: 1-5 - [i7]Sumit Kumar Jha, Arvind Ramanathan, Rickard Ewetz, Alvaro Velasquez, Susmit Jha:
Protein Folding Neural Networks Are Not Robust. CoRR abs/2109.04460 (2021) - 2020
- [i5]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 abs/2009.08097 (2020) - 2019
- [c49]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: 11826-11837 - [i4]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 abs/1903.05821 (2019) - 2018
- [c46]Susmit Jha, Sunny Raj, Sumit Kumar Jha, Natarajan Shankar:
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. FORMATS 2018: 235-251 - 2014
- [j7]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): 519-539 (2014) - [j6]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): 540-558 (2014) - 2012
- [j4]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): 263-285 (2012) - [c17]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: 1-6 - [c16]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: 1-6 - 2008
- [c9]Susmit Jha, Sumit Kumar Jha:
Randomization Based Probabilistic Approach to Detect Trojan Circuits. HASE 2008: 117-124 - [c8]Sumit Kumar Jha, Susmit Jha:
Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking. HASE 2008: 147-153
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
