vix.ing · top · new · best · stats · spec

Narodytska, Nina

  1. Abduction-Based Explanations for Machine Learning Models
    2018/11/26 by Ignatiev, Alexey, Narodytska, Nina, Marques-Silva, Joao · 23 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
  2. Lemur: Integrating Large Language Models in Automated Program Verification
    2023/10/07 by Haoze Wu, Clark Barrett, Wu, Haoze +3 · 20 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Software Engineering Research #Software Testing and Debugging Techniques
  3. Simple Black-Box Adversarial Perturbations for Deep Networks
    2016/12/19 by Nina Narodytska, Shiva Prasad Kasiviswanathan, Narodytska, Nina +1 · 8 citations
    Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  4. How Hard Is It to Control an Election by Breaking Ties?
    2013/04/23 by Nicholas Mattei, Mattei, Nicholas, Nina Narodytska +3 · 4 citations
    Decision Sciences · Economics, Econometrics and Finance · #Artificial Intelligence (cs.AI) #Auction Theory and Applications #Computer Science and Game Theory (cs.GT) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Game Theory and Applications #Game Theory and Voting Systems
  5. Verifying Properties of Binarized Deep Neural Networks
    2017/09/19 by Narodytska, Nina, Kasiviswanathan, Shiva Prasad, Ryzhyk, Leonid +2 · 4 citations
    #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  6. Explanations for Monotonic Classifiers
    2021/06/01 by Marques-Silva, Joao, Gerspacher, Thomas, Cooper, Martin +2 · 5 citations
    #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  7. On Relating 'Why?' and 'Why Not?' Explanations
    2020/12/21 by Alexey Ignatiev, Nina Narodytska, Ignatiev, Alexey +5 · 4 citations
    Computer Science · Social Sciences · #Artificial Intelligence (cs.AI) #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
  8. Eliminating The Impossible, Whatever Remains Must Be True
    2022/06/20 by Jinqiang Yu, Yu, Jinqiang, Alexey Ignatiev +7 · 5 citations
    Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Data Classification #Scientific Computing and Data Management
  9. Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
    2020/08/13 by Marques-Silva, Joao, Gerspacher, Thomas, Cooper, Martin C. +2 · 3 citations
    #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  10. Manipulation of Nanson's and Baldwin's Rules
    2011/06/27 by Narodytska, Nina, Walsh, Toby, Xia, Lirong · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
  11. On Validating, Repairing and Refining Heuristic ML Explanations
    2019/07/04 by Ignatiev, Alexey, Narodytska, Nina, Marques-Silva, Joao · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
  12. Efficient Explanations With Relevant Sets
    2021/06/01 by Yacine Izza, Izza, Yacine, Alexey Ignatiev +7 · 1 citation
    Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
  13. Concept-based Analysis of Neural Networks via Vision-Language Models
    2024/03/28 by Ravi Mangal, Mangal, Ravi, Nina Narodytska +11 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Semantic Web and Ontologies
  14. Provably Precise, Succinct and Efficient Explanations for Decision Trees
    2022/05/19 by Yacine Izza, Alexey Ignatiev, Izza, Yacine +7 · 1 citation
    Computer Science · #Explainable Artificial Intelligence (XAI) #Adversarial Robustness in Machine Learning #Imbalanced Data Classification Techniques
  15. On Computing Probabilistic Abductive Explanations
    2022/12/12 by Yacine Izza, Xuanxiang Huang, Izza, Yacine +9 · 3 citations
    Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  16. Automating Cluster Management with Weave
    2019/09/06 by Lalith Suresh, Suresh, Lalith, João Loff +17 · 1 citation
    Computer Science · #Advanced Database Systems and Queries #Cloud Computing and Resource Management #Distributed #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
  17. Automated Verification of Neural Networks: Advances, Challenges and Perspectives
    2018/05/25 by Francesco Leofante, Nina Narodytska, Leofante, Francesco +5 · 1 citation
    Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)