Nina Narodytska
23 papers · 2013–2026 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
🏃 Academic Marathon (11) 🐣 Hot Topic Early Bird 🧭 Keyword Pioneer 🌍 Conference Polyglot (6) 🐝 Cross-Pollinator (10)
🧭
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
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