← Authors

Nina Narodytska

23 papers · 2013–2026 · 6 conferences · across top CS/AI conferences

Achievements

πŸŒ‰ Interdisciplinary Bridge πŸ—ΊοΈ Taxonomy Completionist (26) 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (10) 🌈 Renaissance Researcher (6) 🧭 Keyword Pioneer 🌍 Conference Polyglot (6) πŸƒ Academic Marathon (11) πŸ† Keyword Champion (2) 🧬 Topic Evolution πŸ† Grand Slam πŸ—ƒοΈ Keyword Collector (73) πŸ’Ž Century Club (22) πŸ”₯ Unstoppable (7) πŸš€ Conference Pioneer

Conferences

IJCAI (11) AAAI (5) ICLR (3) NIPS (2) ICML (1) OSDI (1)

Top co-authors

Joao Marques-Silva (8) Alexey Ignatiev (8) Toby Walsh (6) Peter J. Stuckey (2) Sangeetha Abdu Jyothi (2) Clark Barrett (2) Haoze Wu (2) Serge Gaspers (2) Thomas Gerspacher (2) Maria-Cristina Marinescu (1)

Keywords

model explanation (3) decision tree (3) interpretable machine learning (2) formal explanation (2) neural network verification (2) black-box model (2) polynomial time (2) post-hoc explanation (2) model-agnostic explanation (2) explainable ai (2) boolean satisfiability (1) formal methods (1) model-based diagnosis (1) automated reasoning (1) feature attribution (1) online learning (1) model compression (1) rule learning (1) explanation generation (1) neural network compression (1)

Papers

Cubing for Tuning AAAI 2026
CrystalBox: Future-Based Explanations for Input-Driven Deep RL Systems AAAI 2024
Lemur: Integrating Large Language Models in Automated Program Verification ICLR 2024
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations AAAI 2023
Constraint-Driven Explanations for Black-Box ML Models AAAI 2022
Explanations for Monotonic Classifiers. ICML 2021
Reasoning-Based Learning of Interpretable ML Models IJCAI 2021
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay NIPS 2020
Building Scalable and Flexible Cluster Managers Using Declarative Programming OSDI 2020
In Search for a SAT-friendly Binarized Neural Network Architecture ICLR 2020
On Relating Explanations and Adversarial Examples NIPS 2019
Abduction-Based Explanations for Machine Learning Models AAAI 2019
RelGAN: Relational Generative Adversarial Networks for Text Generation ICLR 2019
Formal Analysis of Deep Binarized Neural Networks IJCAI 2018
Core-Guided Minimal Correction Set and Core Enumeration IJCAI 2018
Learning Optimal Decision Trees with SAT IJCAI 2018
Network Approximation using Tensor Sketching IJCAI 2018
Maximum Satisfiability Using Cores and Correction Sets IJCAI 2015
Equilibria Under the Probabilistic Serial Rule IJCAI 2015
A Social Welfare Optimal Sequential Allocation Procedure IJCAI 2013
On the Complexity of Global Scheduling Constraints under Structural Restrictions IJCAI 2013
Constraint Acquisition via Partial Queries IJCAI 2013
Three Generalizations of the FOCUS Constraint IJCAI 2013