
Efficient Explanations With Relevant Sets
Recent work proposed δrelevant inputs (or sets) as a probabilistic expl...
read it

Explanations for Monotonic Classifiers
In many classification tasks there is a requirement of monotonicity. Con...
read it

On Relating 'Why?' and 'Why Not?' Explanations
Explanations of Machine Learning (ML) models often address a 'Why?' ques...
read it

Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
Recent work proposed the computation of socalled PIexplanations of Nai...
read it

Partial Queries for Constraint Acquisition
Learning constraint networks is known to require a number of membership ...
read it

Automating Cluster Management with Weave
Modern cluster management systems like Kubernetes and Openstack grapple ...
read it

On Validating, Repairing and Refining Heuristic ML Explanations
Recent years have witnessed a fastgrowing interest in computing explana...
read it

AbductionBased Explanations for Machine Learning Models
The growing range of applications of Machine Learning (ML) in a multitud...
read it

Automated Verification of Neural Networks: Advances, Challenges and Perspectives
Neural networks are one of the most investigated and widely used techniq...
read it

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
We consider the problem of binary image generation with given properties...
read it

Deep Neural Network Approximation using Tensor Sketching
Deep neural networks are powerful learning models that achieve stateof...
read it

Verifying Properties of Binarized Deep Neural Networks
Understanding properties of deep neural networks is an important challen...
read it

Simple BlackBox Adversarial Perturbations for Deep Networks
Deep neural networks are powerful and popular learning models that achie...
read it

The Computational Impact of Partial Votes on Strategic Voting
In many real world elections, agents are not required to rank all candid...
read it

The Complexity of Integer Bound Propagation
Bound propagation is an important Artificial Intelligence technique used...
read it

Breaking Symmetry with Different Orderings
We can break symmetry by eliminating solutions within each symmetry clas...
read it

How Hard Is It to Control an Election by Breaking Ties?
We study the computational complexity of controlling the result of an el...
read it

Three Generalizations of the FOCUS Constraint
The FOCUS constraint expresses the notion that solutions are concentrate...
read it

Coalitional Manipulation for Schulze's Rule
Schulze's rule is used in the elections of a large number of organizatio...
read it

Possible and Necessary Winner Problem in Social Polls
Social networks are increasingly being used to conduct polls. We introdu...
read it

The SeqBin Constraint Revisited
We revisit the SeqBin constraint. This metaconstraint subsumes a number...
read it

Eliminating the Weakest Link: Making Manipulation Intractable?
Successive elimination of candidates is often a route to making manipula...
read it

Combining Voting Rules Together
We propose a simple method for combining together voting rules that perf...
read it

The RegularGcc Matrix Constraint
We study propagation of the RegularGcc global constraint. This ensures t...
read it

Manipulation of Nanson's and Baldwin's Rules
Nanson's and Baldwin's voting rules select a winner by successively elim...
read it

Complexity of and Algorithms for Borda Manipulation
We prove that it is NPhard for a coalition of two manipulators to compu...
read it

The AllDifferent Constraint with Precedences
We propose AllDiffPrecedence, a new global constraint that combines toge...
read it

Propagating Conjunctions of AllDifferent Constraints
We study propagation algorithms for the conjunction of two AllDifferent ...
read it

Breaking Generator Symmetry
Dealing with large numbers of symmetries is often problematic. One solut...
read it

The Weighted CFG Constraint
We introduce the weighted CFG constraint and propose a propagation algor...
read it

FlowBased Propagators for the SEQUENCE and Related Global Constraints
We propose new filtering algorithms for the SEQUENCE constraint and some...
read it

Decomposition of the NVALUE constraint
We study decompositions of NVALUE, a global constraint that can be used ...
read it

Restricted Global Grammar Constraints
We investigate the global GRAMMAR constraint over restricted classes of ...
read it

Circuit Complexity and Decompositions of Global Constraints
We show that tools from circuit complexity can be used to study decompos...
read it

Decompositions of All Different, Global Cardinality and Related Constraints
We show that some common and important global constraints like ALLDIFFE...
read it
Nina Narodytska
is this you? claim profile
Researcher at Samsung Research America, Postdoctoral Research Fellow at Carnegie Mellon University from 20142017, Postdoctoral Fellow at University of Toronto from 20132014, Researcher at NICTA from 20112013, PhD Student at NICTA from 20062011