75 citations · 280 across the 41 of their papers we have counts for
5 papers · 1 filter
Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms
Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini +1
Given a Boolean formula in conjunctive normal form (CNF), the density of states counts the number of variable assignments that violate exactly clauses, for all values of…
On the Need for Topology-Aware Generative Models for Manifold-Based Defenses
Uyeong Jang, Susmit Jha, Somesh Jha
Machine-learning (ML) algorithms or models, especially deep neural networks (DNNs), have shown significant promise in several areas. However, researchers have recently demonstrated…
Attribution-driven Causal Analysis for Detection of Adversarial Examples
Susmit Jha, Sunny Raj, Steven Lawrence Fernandes +5
Attribution methods have been developed to explain the decision of a machine learning model on a given input. We use the Integrated Gradient method for finding attributions to defi…
TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents
Panagiota Kiourti, Kacper Wardega, Susmit Jha +1
Recent work has identified that classification models implemented as neural networks are vulnerable to data-poisoning and Trojan attacks at training time. In this work, we show tha…
A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems
Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar +7
A classic reachability problem for safety of dynamic systems is to compute the set of initial states from which the state trajectory is guaranteed to stay inside a given constraint…