| Simple black-box adversarial perturbations for deep networks N Narodytska, SP Kasiviswanathan arXiv preprint arXiv:1612.06299, 2016 | 650* | 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 | 281 | 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 | 272 | 2019 |
| Relgan: Relational generative adversarial networks for text generation W Nie, N Narodytska, A Patel International conference on learning representations, 2018 | 247 | 2018 |
| Maximum satisfiability using core-guided MaxSAT resolution N Narodytska, F Bacchus Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 199 | 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 | 178 | 2018 |
| On relating explanations and adversarial examples A Ignatiev, N Narodytska, J Marques-Silva Advances in neural information processing systems 32, 2019 | 152 | 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 | 117 | 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 | 111 | 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 | 97 | 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 | 96 | 2020 |
| 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 | 85 | 2020 |
| Circuit complexity and decompositions of global constraints C Bessiere, G Katsirelos, N Narodytska, T Walsh arXiv preprint arXiv:0905.3757, 2009 | 83 | 2009 |
| 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 | 78 | 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 | 77 | 2018 |
| Explanations for Monotonic Classifiers. J Marques-Silva, T Gerspacher, MC Cooper, A Ignatiev, N Narodytska International Conference on Machine Learning, 7469-7479, 2021 | 70 | 2021 |
| On validating, repairing and refining heuristic ML explanations A Ignatiev, N Narodytska, J Marques-Silva arXiv preprint arXiv:1907.02509, 2019 | 65 | 2019 |
| A social welfare optimal sequential allocation procedure T Kalinowski, N Nardoytska, T Walsh arXiv preprint arXiv:1304.5892, 2013 | 64 | 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 |
Toby WalshProfessor, UNSW and CSIRO Data61cse.unsw.edu.au의 이메일 확인됨