| Simple black-box adversarial perturbations for deep networks N Narodytska, SP Kasiviswanathan arXiv preprint arXiv:1612.06299, 2016 | 622* | 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 | 271 | 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 | 250 | 2019 |
| Relgan: Relational generative adversarial networks for text generation W Nie, N Narodytska, A Patel International conference on learning representations, 2018 | 236 | 2018 |
| Maximum satisfiability using core-guided MaxSAT resolution N Narodytska, F Bacchus Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 195 | 2014 |
| Learning optimal decision trees with SAT N Narodytska, A Ignatiev, F Pereira, J Marques-Silva International Joint Conference on Artificial Intelligence 2018, 1362-1368, 2018 | 165 | 2018 |
| On relating explanations and adversarial examples A Ignatiev, N Narodytska, J Marques-Silva Advances in neural information processing systems 32, 2019 | 140 | 2019 |
| 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 | 108 | 2019 |
| Constraint acquisition via partial queries C Bessiere, R Coletta, E Hebrard, G Katsirelos, N Lazaar, N Narodytska, ... Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 108 | 2013 |
| 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 | 105 | 2011 |
| Automated verification of neural networks: Advances, challenges and perspectives F Leofante, N Narodytska, L Pulina, A Tacchella arXiv preprint arXiv:1805.09938, 2018 | 94 | 2018 |
| 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 | 83 | 2020 |
| Circuit complexity and decompositions of global constraints C Bessiere, G Katsirelos, N Narodytska, T Walsh arXiv preprint arXiv:0905.3757, 2009 | 81 | 2009 |
| 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 | 76 | 2020 |
| 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 | 75 | 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 | 74 | 2018 |
| Explanations for Monotonic Classifiers. J Marques-Silva, T Gerspacher, MC Cooper, A Ignatiev, N Narodytska International Conference on Machine Learning, 7469-7479, 2021 | 63 | 2021 |
| A social welfare optimal sequential allocation procedure T Kalinowski, N Nardoytska, T Walsh arXiv preprint arXiv:1304.5892, 2013 | 63 | 2013 |
| Encodings of the Sequence Constraint S Brand, N Narodytska, CG Quimper, P Stuckey, T Walsh International conference on principles and practice of constraint …, 2007 | 63 | 2007 |
| On validating, repairing and refining heuristic ML explanations A Ignatiev, N Narodytska, J Marques-Silva arXiv preprint arXiv:1907.02509, 2019 | 61 | 2019 |
Toby WalshProfessor, UNSW and CSIRO Data61Verified email at cse.unsw.edu.au
