Nina Narodytska

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 62

Top Venues

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
Concept-based Analysis of Neural Networks via Vision-Language Models. CoRR (2024)
Nina Narodytska, Shay Vargaftik
Lucy: Think and Reason to Solve Text-to-SQL. CoRR (2024)
Haoze Wu, Clark W. Barrett, Nina Narodytska
Lemur: Integrating Large Language Models in Automated Program Verification. ICLR (2024)
Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896]. Artif. Intell. 328 (2024)
Sagar Patel, Sangeetha Abdu Jyothi, Nina Narodytska
CrystalBox: Future-Based Explanations for Input-Driven Deep RL Systems. AAAI (2024)
Mikolas Janota, Nina Narodytska
The FMCAD 2023 Student Forum. FMCAD (2023)
Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
Learning constraints through partial queries. Artif. Intell. 319 (2023)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. AAAI (2023)
Sagar Patel, Sangeetha Abdu Jyothi, Nina Narodytska
CrystalBox: Future-Based Explanations for DRL Network Controllers. CoRR (2023)
Sagar Patel, Junyang Zhang, Sangeetha Abdu Jyothi, Nina Narodytska
Prioritized Trace Selection: Towards High-Performance DRL-based Network Controllers. CoRR (2023)
Sagar Patel, Sangeetha Abdu Jyothi, Nina Narodytska
Towards Future-Based Explanations for Deep RL Network Controllers. SIGMETRICS Perform. Evaluation Rev. 51 (2) (2023)
Haoze Wu, Clark W. Barrett, Nina Narodytska
Lemur: Integrating Large Language Models in Automated Program Verification. CoRR (2023)
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
On computing probabilistic abductive explanations. Int. J. Approx. Reason. 159 (2023)
Nina Narodytska, Nikolaj S. Bjørner
Analysis of Core-Guided MaxSat Using Cores and Correction Sets. SAT (2022)
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
On Computing Probabilistic Abductive Explanations. CoRR (2022)
Parikshit Gopalan, Nina Narodytska, Omer Reingold, Vatsal Sharan, Udi Wieder
KL Divergence Estimation with Multi-group Attribution. CoRR (2022)
Haoze Wu, Clark W. Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh
Scalable Verification of GNN-based Job Schedulers. CoRR (2022)
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
Provably Precise, Succinct and Efficient Explanations for Decision Trees. CoRR (2022)
Haoze Wu, Clark W. Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh
Scalable verification of GNN-based job schedulers. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi
Constraint-Driven Explanations for Black-Box ML Models. AAAI (2022)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva
Eliminating The Impossible, Whatever Remains Must Be True. CoRR (2022)
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
Efficient Explanations With Relevant Sets. CoRR (2021)
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
Explanations for Monotonic Classifiers. CoRR (2021)
Arnaud Dethise, Marco Canini, Nina Narodytska
Analyzing Learning-Based Networked Systems with Formal Verification. INFOCOM (2021)
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
Explanations for Monotonic Classifiers. ICML (2021)
Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey
Reasoning-Based Learning of Interpretable ML Models. IJCAI (2021)
Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
Partial Queries for Constraint Acquisition. CoRR (2020)
Alexey Ignatiev, Nina Narodytska, Nicholas Asher, João Marques-Silva
From Contrastive to Abductive Explanations and Back Again. AI*IA (2020)
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. CoRR (2020)
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. NeurIPS (2020)
Alexey Ignatiev, Nina Narodytska, Nicholas Asher, João Marques-Silva
On Relating 'Why?' and 'Why Not?' Explanations. CoRR (2020)
Lalith Suresh, João Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch
Building Scalable and Flexible Cluster Managers Using Declarative Programming. OSDI (2020)
Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh
In Search for a SAT-friendly Binarized Neural Network Architecture. ICLR (2020)
Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis. ECAI (2020)
Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc
BDD-Based Algorithms for Packet Classification. FMCAD (2019)
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
On Relating Explanations and Adversarial Examples. NeurIPS (2019)
Lalith Suresh, João Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki
Synthesizing Cluster Management Code for Distributed Systems. HotOS (2019)
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
Abduction-Based Explanations for Machine Learning Models. AAAI (2019)
Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv
Simple and precise static analysis of untrusted Linux kernel extensions. PLDI (2019)
Weili Nie, Nina Narodytska, Ankit Patel
RelGAN: Relational Generative Adversarial Networks for Text Generation. ICLR (Poster) (2019)
Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva
Assessing Heuristic Machine Learning Explanations with Model Counting. SAT (2019)
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
On Validating, Repairing and Refining Heuristic ML Explanations. CoRR (2019)
Lalith Suresh, João Loff, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira, Mooly Sagiv
Automating Cluster Management with Weave. CoRR (2019)
Nina Narodytska, Alexey Ignatiev, Filipe Pereira, João Marques-Silva
Learning Optimal Decision Trees with SAT. IJCAI (2018)
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. CoRR (2018)
Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin
Network Approximation using Tensor Sketching. IJCAI (2018)
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. SAT (2018)
Alexey Ignatiev, Filipe Pereira, Nina Narodytska, João Marques-Silva
A SAT-Based Approach to Learn Explainable Decision Sets. IJCAR (2018)
Nina Narodytska
Formal Verification of Deep Neural Networks. FMCAD (2018)
Nina Narodytska, Nikolaj Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv
Core-Guided Minimal Correction Set and Core Enumeration. IJCAI (2018)
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
Abduction-Based Explanations for Machine Learning Models. CoRR (2018)
Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella
Automated Verification of Neural Networks: Advances, Challenges and Perspectives. CoRR (2018)
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh
Verifying Properties of Binarized Deep Neural Networks. AAAI (2018)
Nina Narodytska
Formal Analysis of Deep Binarized Neural Networks. IJCAI (2018)
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh
Verifying Properties of Binarized Deep Neural Networks. CoRR (2017)
Nina Narodytska, Shiva Prasad Kasiviswanathan
Simple Black-Box Adversarial Attacks on Deep Neural Networks. CVPR Workshops (2017)
Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin
Deep Neural Network Approximation using Tensor Sketching. CoRR (2017)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV (2016)
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
Three generalizations of the FOCUS constraint. Constraints An Int. J. 21 (4) (2016)
Omer Reingold, Nina Narodytska
Adaptive Condorcet-Based Stopping Rules Can Be Efficient. ECAI (2016)
Alexander Legg, Nina Narodytska, Leonid Ryzhyk
A SAT-Based Counterexample Guided Method for Unbounded Synthesis. CAV (2) (2016)
Nina Narodytska, Shiva Prasad Kasiviswanathan
Simple Black-Box Adversarial Perturbations for Deep Networks. CoRR (2016)
Andrea Loreggia, Nina Narodytska, Francesca Rossi, Kristen Brent Venable, Toby Walsh
Controlling Elections by Replacing Candidates or Votes. AAMAS (2015)
Nikolaj Bjørner, Nina Narodytska
Maximum Satisfiability Using Cores and Correction Sets. IJCAI (2015)
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
Manipulating the Probabilistic Serial Rule. CoRR (2015)
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
Manipulating the Probabilistic Serial Rule. AAMAS (2015)
Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk
SAT-Based Strategy Extraction in Reachability Games. AAAI (2015)
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
Equilibria Under the Probabilistic Serial Rule. CoRR (2015)
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
Equilibria Under the Probabilistic Serial Rule. IJCAI (2015)
Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker
Solving Games without Controllable Predecessor. CAV (2014)
Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh
Possible and necessary winner problem in social polls. AAMAS (2014)
Fahiem Bacchus, Nina Narodytska
Cores in Core Based MaxSat Algorithms: An Analysis. SAT (2014)
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh, Lirong Xia
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules. Artif. Intell. 217 (2014)
Nina Narodytska, Toby Walsh
The Computational Impact of Partial Votes on Strategic Voting. ECAI (2014)
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh
Reasoning about Constraint Models. PRICAI (2014)
Nina Narodytska, Fahiem Bacchus
Maximum Satisfiability Using Core-Guided MaxSAT Resolution. AAAI (2014)
Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi
The Complexity of Integer Bound Propagation. CoRR (2014)
Nina Narodytska, Toby Walsh
The Computational Impact of Partial Votes on Strategic Voting. CoRR (2014)
Joel Oren, Nina Narodytska, Craig Boutilier
A Game-Theoretic Analysis of Catalog Optimization. AAAI (2014)
Andrea Loreggia, Nina Narodytska, Francesca Rossi, Kristen Brent Venable, Toby Walsh
Controlling Elections by Replacing Candidates: Theoretical and Experimental Results. MPREF@AAAI (2014)
Nicholas Mattei, Nina Narodytska, Toby Walsh
How Hard Is It to Control an Election by Breaking Ties? ECAI (2014)
Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh
Strategic aspects of the probabilistic serial rule for the allocation of goods. CoRR (2014)
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
Concept-Based Analysis of Neural Networks via Vision-Language Models. SAIV (2014)
Thomas Kalinowski, Nina Narodytska, Toby Walsh
A Social Welfare Optimal Sequential Allocation Procedure CoRR (2013)
Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh
On the Complexity of Global Scheduling Constraints under Structural Restrictions. IJCAI (2013)
Nina Narodytska, Toby Walsh
Breaking Symmetry with Different Orderings. CoRR (2013)
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
Three Generalizations of the FOCUS Constraint CoRR (2013)
Nina Narodytska, Toby Walsh
Breaking Symmetry with Different Orderings. CP (2013)
Nicholas Mattei, Nina Narodytska, Toby Walsh
How hard is it to control an election by breaking ties? CoRR (2013)
Michael R. Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances A. Rosamond
Constraint satisfaction problems: Convexity makes AllDifferent constraints tractable. Theor. Comput. Sci. 472 (2013)
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
Three Generalizations of the FOCUS Constraint. IJCAI (2013)
Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Constraint Acquisition via Partial Queries. IJCAI (2013)
Thomas Kalinowski, Nina Narodytska, Toby Walsh
A Social Welfare Optimal Sequential Allocation Procedure. IJCAI (2013)
Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh
Coalitional Manipulation for Schulze's Rule CoRR (2013)
Nina Narodytska, Toby Walsh
An Adaptive Model Restarts Heuristic. CPAIOR (2013)
Thomas Kalinowski, Nina Narodytska, Toby Walsh, Lirong Xia
Strategic Behavior when Allocating Indivisible Goods Sequentially. AAAI (2013)
Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh
Possible and necessary winner problem in social polls. AAMAS (2013)
Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh
Coalitional manipulation for Schulze's rule. AAMAS (2013)
Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh
Possible and Necessary Winner Problem in Social Polls CoRR (2013)
Nina Narodytska, Toby Walsh
Manipulating two stage voting rules. AAMAS (2013)

Nina Narodytska.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nina Narodytska