Emir Demirović
16 papers · 2017–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (5) 🏃 Academic Marathon (8) 🐝 Cross-Pollinator (14)
🧭
Keyword Pioneer
🌍
Conference Polyglot
(5)
🏃
Academic Marathon
(8)
🏆
Keyword Champion
(7)
💎
Century Club
(15)
🗃️
Keyword Collector
(62)
🔥
Unstoppable
(5)
Conferences
AAAI (8)
NIPS (3)
ICML (2)
IJCAI (2)
JMLR (1)
Top co-authors
Keywords
decision tree
(7)
dynamic programming
(6)
optimal decision tree
(4)
combinatorial optimization
(3)
decision tree policy
(2)
predict and optimize
(2)
branch and bound
(1)
formal verification
(1)
explainable ai
(1)
linear programming
(1)
cardinality constraint
(1)
survival analysis
(1)
pareto optimality
(1)
divide and conquer
(1)
model interpretability
(1)
anytime algorithm
(1)
tree structure
(1)
discrete optimization
(1)
greedy algorithm
(1)
continuous time
(1)
Papers
Using Certifying Constraint Solvers for Generating Step-wise Explanations
AAAI 2026
Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound
AAAI 2025
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search
AAAI 2025
Optimal Survival Trees: A Dynamic Programming Approach
AAAI 2024
Piecewise Constant and Linear Regression Trees: An Optimal Dynamic Programming Approach
ICML 2024
Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths
AAAI 2024
Safety Verification of Decision-Tree Policies in Continuous Time
NIPS 2023
Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming
NIPS 2023
Blossom: an Anytime Algorithm for Computing Optimal Decision Trees
ICML 2023
Fair and Optimal Decision Trees: A Dynamic Programming Approach
NIPS 2022
MurTree: Optimal Decision Trees via Dynamic Programming and Search
JMLR 2022
A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems
AAAI 2022
Optimal Decision Trees for Nonlinear Metrics
AAAI 2021
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning
AAAI 2021
Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions
IJCAI 2019
SAT-Based Approaches for the General High School Timetabling Problem
IJCAI 2017