Folgen
Nina Narodytska
Nina Narodytska
VMware Research
Bestätigte E-Mail-Adresse bei vmware.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Simple black-box adversarial perturbations for deep networks
N Narodytska, SP Kasiviswanathan
arXiv preprint arXiv:1612.06299, 2016
560*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
2372018
Relgan: Relational generative adversarial networks for text generation
W Nie, N Narodytska, A Patel
International conference on learning representations, 2018
1982018
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
1962019
Maximum satisfiability using core-guided MaxSAT resolution
N Narodytska, F Bacchus
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
1882014
Learning Optimal Decision Trees with SAT.
N Narodytska, A Ignatiev, F Pereira, J Marques-Silva, I Ras
Ijcai, 1362-1368, 2018
1362018
On relating explanations and adversarial examples
A Ignatiev, N Narodytska, J Marques-Silva
Advances in neural information processing systems 32, 2019
1162019
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
1032011
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
942013
Automated verification of neural networks: Advances, challenges and perspectives
F Leofante, N Narodytska, L Pulina, A Tacchella
arXiv preprint arXiv:1805.09938, 2018
882018
Circuit complexity and decompositions of global constraints
C Bessiere, G Katsirelos, N Narodytska, T Walsh
arXiv preprint arXiv:0905.3757, 2009
802009
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
772019
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
652018
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
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
622019
A social welfare optimal sequential allocation procedure
T Kalinowski, N Nardoytska, T Walsh
arXiv preprint arXiv:1304.5892, 2013
602013
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
582013
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
552020
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
542008
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
532020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20