Narodytska, Nina

38 publications

AAAI 2024 CrystalBox: Future-Based Explanations for Input-Driven Deep RL Systems Sagar Patel, Sangeetha Abdu Jyothi, Nina Narodytska

ICLR 2024 Lemur: Integrating Large Language Models in Automated Program Verification Haoze Wu, Clark Barrett, Nina Narodytska

AAAI 2023 Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva

NeurIPSW 2023 Lemur: Integrating Large Language Models in Automated Program Verification Haoze Wu, Clark Barrett, Nina Narodytska

AAAI 2022 Constraint-Driven Explanations for Black-Box ML Models Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi

ICML 2021 Explanations for Monotonic Classifiers. Joao Marques-Silva, Thomas Gerspacher, Martin C Cooper, Alexey Ignatiev, Nina Narodytska

IJCAI 2021 Reasoning-Based Learning of Interpretable ML Models Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey

NeurIPS 2020 Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay Joao Marques-Silva, Thomas Gerspacher, Martin Cooper, Alexey Ignatiev, Nina Narodytska

ICLR 2020 In Search for a SAT-Friendly Binarized Neural Network Architecture Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh

AAAI 2019 Abduction-Based Explanations for Machine Learning Models Alexey Ignatiev, Nina Narodytska, João Marques-Silva

NeurIPS 2019 On Relating Explanations and Adversarial Examples Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva

ICLR 2019 RelGAN: Relational Generative Adversarial Networks for Text Generation Weili Nie, Nina Narodytska, Ankit Patel

IJCAI 2018 Core-Guided Minimal Correction Set and Core Enumeration Nina Narodytska, Nikolaj S. Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv

IJCAI 2018 Formal Analysis of Deep Binarized Neural Networks Nina Narodytska

IJCAI 2018 Learning Optimal Decision Trees with SAT Nina Narodytska, Alexey Ignatiev, Filipe Pereira, João Marques-Silva

IJCAI 2018 Network Approximation Using Tensor Sketching Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin

AAAI 2018 Verifying Properties of Binarized Deep Neural Networks Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh

CVPRW 2017 Simple Black-Box Adversarial Attacks on Deep Neural Networks Nina Narodytska, Shiva Prasad Kasiviswanathan

IJCAI 2015 Equilibria Under the Probabilistic Serial Rule Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh

IJCAI 2015 Maximum Satisfiability Using Cores and Correction Sets Nikolaj S. Bjørner, Nina Narodytska

AAAI 2015 SAT-Based Strategy Extraction in Reachability Games Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk

AAAI 2014 A Game-Theoretic Analysis of Catalog Optimization Joel Oren, Nina Narodytska, Craig Boutilier

AAAI 2014 Maximum Satisfiability Using Core-Guided MaxSAT Resolution Nina Narodytska, Fahiem Bacchus

IJCAI 2013 A Social Welfare Optimal Sequential Allocation Procedure Thomas Kalinowski, Nina Narodytska, Toby Walsh

IJCAI 2013 Constraint Acquisition via Partial Queries Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

IJCAI 2013 On the Complexity of Global Scheduling Constraints Under Structural Restrictions Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh

AAAI 2013 Strategic Behavior When Allocating Indivisible Goods Sequentially Thomas Kalinowski, Nina Narodytska, Toby Walsh, Lirong Xia

IJCAI 2013 Three Generalizations of the FOCUS Constraint Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh

AAAI 2013 Ties Matter: Complexity of Manipulation When Tie-Breaking with a Random Vote Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh

AAAI 2012 Eliminating the Weakest Link: Making Manipulation Intractable? Jessica Davies, Nina Narodytska, Toby Walsh

AAAI 2011 Complexity of and Algorithms for Borda Manipulation Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh

IJCAI 2011 Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable Michael R. Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances A. Rosamond

AAAI 2011 Manipulation of Nanson's and Baldwin's Rules Nina Narodytska, Toby Walsh, Lirong Xia

JAIR 2011 The Complexity of Integer Bound Propagation Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi

AAAI 2010 Propagating Conjunctions of AllDifferent Constraints Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

IJCAI 2009 Circuit Complexity and Decompositions of Global Constraints Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh

IJCAI 2009 Decompositions of All Different, Global Cardinality and Related Constraints Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

IJCAI 2007 Constraint and Variable Ordering Heuristics for Compiling Configuration Problems Nina Narodytska, Toby Walsh