| Simple black-box adversarial perturbations for deep networks N Narodytska, SP Kasiviswanathan arXiv preprint arXiv:1612.06299, 2016 | 562* | 2016 |
| Verifying properties of binarized deep neural networks N Narodytska, S Kasiviswanathan, L Ryzhyk, M Sagiv, T Walsh Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 237 | 2018 |
| Relgan: Relational generative adversarial networks for text generation W Nie, N Narodytska, A Patel International conference on learning representations, 2018 | 200 | 2018 |
| Abduction-based explanations for machine learning models A Ignatiev, N Narodytska, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1511-1519, 2019 | 197 | 2019 |
| Maximum satisfiability using core-guided MaxSAT resolution N Narodytska, F Bacchus Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 188 | 2014 |
| Learning Optimal Decision Trees with SAT. N Narodytska, A Ignatiev, F Pereira, J Marques-Silva, I Ras Ijcai, 1362-1368, 2018 | 136 | 2018 |
| On relating explanations and adversarial examples A Ignatiev, N Narodytska, J Marques-Silva Advances in neural information processing systems 32, 2019 | 117 | 2019 |
| Complexity of and algorithms for Borda manipulation J Davies, G Katsirelos, N Narodytska, T Walsh Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 657-662, 2011 | 103 | 2011 |
| Constraint acquisition via partial queries C Bessiere, R Coletta, E Hebrard, G Katsirelos, N Lazaar, N Narodytska, ... IJCAI: International Joint Conference on Artificial Intelligence, 475-481, 2013 | 94 | 2013 |
| Automated verification of neural networks: Advances, challenges and perspectives F Leofante, N Narodytska, L Pulina, A Tacchella arXiv preprint arXiv:1805.09938, 2018 | 88 | 2018 |
| Circuit complexity and decompositions of global constraints C Bessiere, G Katsirelos, N Narodytska, T Walsh arXiv preprint arXiv:0905.3757, 2009 | 80 | 2009 |
| Simple and precise static analysis of untrusted linux kernel extensions E Gershuni, N Amit, A Gurfinkel, N Narodytska, JA Navas, N Rinetzky, ... Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 77 | 2019 |
| A SAT-based approach to learn explainable decision sets A Ignatiev, F Pereira, N Narodytska, J Marques-Silva Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 65 | 2018 |
| Encodings of the Sequence Constraint S Brand, N Narodytska, CG Quimper, P Stuckey, T Walsh International conference on principles and practice of constraint …, 2007 | 65 | 2007 |
| Assessing heuristic machine learning explanations with model counting N Narodytska, A Shrotri, KS Meel, A Ignatiev, J Marques-Silva Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 62 | 2019 |
| A social welfare optimal sequential allocation procedure T Kalinowski, N Nardoytska, T Walsh arXiv preprint arXiv:1304.5892, 2013 | 60 | 2013 |
| Strategic behavior when allocating indivisible goods sequentially T Kalinowski, N Narodytska, T Walsh, L Xia Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 452-458, 2013 | 58 | 2013 |
| Explaining naive bayes and other linear classifiers with polynomial time and delay J Marques-Silva, T Gerspacher, M Cooper, A Ignatiev, N Narodytska Advances in Neural Information Processing Systems 33, 20590-20600, 2020 | 57 | 2020 |
| Flow-based propagators for the SEQUENCE and related global constraints M Maher, N Narodytska, CG Quimper, T Walsh International conference on principles and practice of constraint …, 2008 | 54 | 2008 |
| From contrastive to abductive explanations and back again A Ignatiev, N Narodytska, N Asher, J Marques-Silva International Conference of the Italian Association for Artificial …, 2020 | 53 | 2020 |
Toby WalshProfessor, UNSW and CSIRO Data61Verified email at cse.unsw.edu.au
