دنبال کردن
Nina Narodytska
Nina Narodytska
VMware Research
ایمیل تأیید شده در vmware.com - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
Simple black-box adversarial perturbations for deep networks‏
N Narodytska, SP Kasiviswanathan‏
arXiv preprint arXiv:1612.06299, 2016‏
652*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‏
2822018
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‏
2762019
Relgan: Relational generative adversarial networks for text generation‏
W Nie, N Narodytska, A Patel‏
International conference on learning representations, 2018‏
2492018
Maximum satisfiability using core-guided MaxSAT resolution‏
N Narodytska, F Bacchus‏
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014‏
2002014
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‏
1732018
On relating explanations and adversarial examples‏
A Ignatiev, N Narodytska, J Marques-Silva‏
Advances in neural information processing systems 32, 2019‏
1512019
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‏
1152019
Constraint Acquisition via Partial Queries.‏
C Bessiere, R Coletta, E Hebrard, G Katsirelos, N Lazaar, N Narodytska, ...‏
IJCAI 13, 475-481, 2013‏
1142013
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‏
1042011
Automated verification of neural networks: Advances, challenges and perspectives‏
F Leofante, N Narodytska, L Pulina, A Tacchella‏
arXiv preprint arXiv:1805.09938, 2018‏
982018
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‏
952020
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‏
862020
Circuit complexity and decompositions of global constraints‏
C Bessiere, G Katsirelos, N Narodytska, T Walsh‏
arXiv preprint arXiv:0905.3757, 2009‏
852009
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‏
802019
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‏
762018
Explanations for Monotonic Classifiers.‏
J Marques-Silva, T Gerspacher, MC Cooper, A Ignatiev, N Narodytska‏
International Conference on Machine Learning, 7469-7479, 2021‏
692021
Encodings of the Sequence Constraint‏
S Brand, N Narodytska, CG Quimper, P Stuckey, T Walsh‏
International conference on principles and practice of constraint …, 2007‏
652007
On validating, repairing and refining heuristic ML explanations‏
A Ignatiev, N Narodytska, J Marques-Silva‏
arXiv preprint arXiv:1907.02509, 2019‏
642019
A social welfare optimal sequential allocation procedure‏
T Kalinowski, N Nardoytska, T Walsh‏
arXiv preprint arXiv:1304.5892, 2013‏
642013
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20