Nina Narodytska

Most-cited papers

Simple Black-Box Adversarial Attacks on Deep Neural Networks
Nina Narodytska, S. Kasiviswanathan
20172017 IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW)323 citations
Semantic Scholar
Abduction-Based Explanations for Machine Learning Models
Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva
2018AAAI Conference on Artificial Intelligence322 citations Open access
Semantic Scholar
Configuration
C. Sinz, A. Haag, Nina Narodytska, T. Walsh +10 more
2018Encyclopedia of Artificial Intelligence303 citations Open access
Semantic Scholar
Simple Black-Box Adversarial Perturbations for Deep Networks
Nina Narodytska, S. Kasiviswanathan
2016arXiv.org249 citations
Semantic Scholar
Verifying Properties of Binarized Deep Neural Networks
Nina Narodytska, S. Kasiviswanathan, L. Ryzhyk, S. Sagiv +1 more
2017AAAI Conference on Artificial Intelligence244 citations Open access
Semantic Scholar
RelGAN: Relational Generative Adversarial Networks for Text Generation
Weili Nie, Nina Narodytska, Ankit B. Patel
2019International Conference on Learning Representations206 citations
Semantic Scholar
Maximum Satisfiability Using Core-Guided MaxSAT Resolution
Nina Narodytska, F. Bacchus
2014AAAI Conference on Artificial Intelligence171 citations Open access
Semantic Scholar
Learning Optimal Decision Trees with SAT
Nina Narodytska, Alexey Ignatiev, Filipe Pereira, Joao Marques-Silva
2018International Joint Conference on Artificial Intelligence157 citations Open access
Semantic Scholar
On Relating Explanations and Adversarial Examples
Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva
2019Neural Information Processing Systems136 citations
Semantic Scholar
Simple and precise static analysis of untrusted Linux kernel extensions
Elazar Gershuni, Nadav Amit, A. Gurfinkel, Nina Narodytska +4 more
2019ACM-SIGPLAN Symposium on Programming Language Design and Implementation132 citations Open access
Semantic Scholar
Lemur: Integrating Large Language Models in Automated Program Verification
Hao-Ze Wu, Clark W. Barrett, Nina Narodytska
2023International Conference on Learning Representations105 citations Open access
Semantic Scholar
From Contrastive to Abductive Explanations and Back Again
Alexey Ignatiev, Nina Narodytska, Nicholas Asher, Joao Marques-Silva
2020International Conference of the Italian Association for Artificial Intelligence100 citations Open access
Semantic Scholar
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
Joao Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev +1 more
2020Neural Information Processing Systems87 citations
Semantic Scholar
On Validating, Repairing and Refining Heuristic ML Explanations
Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva
2019arXiv.org80 citations
Semantic Scholar
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
Francesco Leofante, Nina Narodytska, Luca Pulina, A. Tacchella
2018arXiv.org77 citations
Semantic Scholar
Assessing Heuristic Machine Learning Explanations with Model Counting
Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev +1 more
2019International Conference on Theory and Applications of Satisfiability Testing68 citations
Semantic Scholar
A SAT-Based Approach to Learn Explainable Decision Sets
Alexey Ignatiev, Filipe Pereira, Nina Narodytska, Joao Marques-Silva
2018International Joint Conference on Automated Reasoning63 citations
Semantic Scholar
Explanations for Monotonic Classifiers
Joao Marques-Silva, T. Gerspacher, M. C. Cooper, Alexey Ignatiev +1 more
2021International Conference on Machine Learning62 citations
Semantic Scholar
Strategic Behavior when Allocating Indivisible Goods Sequentially
T. Kalinowski, Nina Narodytska, T. Walsh, Lirong Xia
2013AAAI Conference on Artificial Intelligence57 citations Open access
Semantic Scholar
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules
Jessica Davies, G. Katsirelos, Nina Narodytska, T. Walsh +1 more
2014Artificial Intelligence53 citations Open access
Semantic Scholar
The Computational Impact of Partial Votes on Strategic Voting
Nina Narodytska, T. Walsh
2014European Conference on Artificial Intelligence51 citations Open access
Semantic Scholar
Core-Guided Minimal Correction Set and Core Enumeration
Nina Narodytska, Nikolaj S. Bjørner, M. Marinescu, S. Sagiv
2018International Joint Conference on Artificial Intelligence40 citations Open access
Semantic Scholar
Eliminating The Impossible, Whatever Remains Must Be True
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska +1 more
2022AAAI Conference on Artificial Intelligence38 citations Open access
Semantic Scholar
Controlling Elections by Replacing Candidates or Votes
Andrea Loreggia, Nina Narodytska, F. Rossi, K. Venable +1 more
2015Adaptive Agents and Multi-Agent Systems34 citations
Semantic Scholar
On Relating 'Why?' and 'Why Not?' Explanations
Alexey Ignatiev, Nina Narodytska, Nicholas Asher, Joao Marques-Silva
2020arXiv.org32 citations
Semantic Scholar
In Search for a SAT-friendly Binarized Neural Network Architecture
Nina Narodytska, Hongce Zhang, Aarti Gupta, T. Walsh
2020International Conference on Learning Representations32 citations
Semantic Scholar
On Computing Probabilistic Abductive Explanations
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska +2 more
2022International Journal of Approximate Reasoning31 citations Open access
Semantic Scholar
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis
Hongce Zhang, Maxwell Shinn, Aarti Gupta, A. Gurfinkel +2 more
2020European Conference on Artificial Intelligence30 citations Open access
Semantic Scholar
New Approaches to Constraint Acquisition
C. Bessiere, Abderrazak Daoudi, E. Hébrard, G. Katsirelos +5 more
2016Data Mining and Constraint Programming29 citations Open access
Semantic Scholar
Formal Analysis of Deep Binarized Neural Networks
Nina Narodytska
2018International Joint Conference on Artificial Intelligence28 citations Open access
Semantic Scholar
Constraint-Driven Explanations for Black-Box ML Models
Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel +2 more
2022AAAI Conference on Artificial Intelligence27 citations Open access
Semantic Scholar
Scalable verification of GNN-based job schedulers
Haoze Wu, Clark W. Barrett, Mahmood Sharif, Nina Narodytska +1 more
2022Proc. ACM Program. Lang.26 citations Open access
Semantic Scholar
Manipulating the Probabilistic Serial Rule
H. Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei +2 more
2015Adaptive Agents and Multi-Agent Systems26 citations Open access
Semantic Scholar
Maximum Satisfiability Using Cores and Correction Sets
Nikolaj S. Bjørner, Nina Narodytska
2015International Joint Conference on Artificial Intelligence24 citations
Semantic Scholar
Reasoning-Based Learning of Interpretable ML Models
Alexey Ignatiev, Joao Marques-Silva, Nina Narodytska, P. Stuckey
2021International Joint Conference on Artificial Intelligence22 citations Open access
Semantic Scholar
Equilibria Under the Probabilistic Serial Rule
H. Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei +2 more
2015International Joint Conference on Artificial Intelligence22 citations
Semantic Scholar
Efficient Explanations With Relevant Sets
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper +1 more
2021arXiv.org20 citations
Semantic Scholar
Solving Games without Controllable Predecessor
Nina Narodytska, Alexander Legg, F. Bacchus, L. Ryzhyk +1 more
2014International Conference on Computer Aided Verification19 citations
Semantic Scholar
Analyzing Learning-Based Networked Systems with Formal Verification
Arnaud Dethise, Marco Canini, Nina Narodytska
2021IEEE Conference on Computer Communications17 citations
Semantic Scholar
Network Approximation using Tensor Sketching
S. Kasiviswanathan, Nina Narodytska, Hong-Xia Jin
2018International Joint Conference on Artificial Intelligence15 citations Open access
Semantic Scholar
SAT-Based Strategy Extraction in Reachability Games
N. Eén, Alexander Legg, Nina Narodytska, L. Ryzhyk
2015AAAI Conference on Artificial Intelligence15 citations Open access
Semantic Scholar
Cores in Core Based MaxSat Algorithms: An Analysis
F. Bacchus, Nina Narodytska
2014International Conference on Theory and Applications of Satisfiability Testing15 citations
Semantic Scholar
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
S. Korneev, Nina Narodytska, Luca Pulina, A. Tacchella +2 more
2018International Conference on Theory and Applications of Satisfiability Testing14 citations Open access
Semantic Scholar
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results
Swen Jacobs, R. Bloem, Romain Brenguier, A. Khalimov +12 more
2016SYNT@CAV14 citations Open access
Semantic Scholar
Learning constraints through partial queries
C. Bessiere, Clément Carbonnel, Anton Dries, E. Hébrard +7 more
2023Artificial Intelligence10 citations Open access
Semantic Scholar
Provably Precise, Succinct and Efficient Explanations for Decision Trees
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper +1 more
2022arXiv.org10 citations Open access
Semantic Scholar
Deep Neural Network Approximation using Tensor Sketching
S. Kasiviswanathan, Nina Narodytska, Hong-Xia Jin
2017arXiv.org10 citations
Semantic Scholar
Concept-based Analysis of Neural Networks via Vision-Language Models
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu +3 more
2024SAIV9 citations
Semantic Scholar
RelGAN: Relational Generative Adversarial Networks for Text Generation.
Weili Nie, Nina Narodytska, Ankit B. Patel
2018International Conference on Learning Representations9 citations
Semantic Scholar
A SAT-Based Counterexample Guided Method for Unbounded Synthesis
Alexander Legg, Nina Narodytska, L. Ryzhyk
2016International Conference on Computer Aided Verification9 citations
Semantic Scholar