Daniele Magazzeni

Computer Science · Physical Sciences

30h-index4.1kcitations190works0.62yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

AI-based Problem Solving and Planning(63), Logic, Reasoning, and Knowledge(34), Formal Methods in Verification(29), Explainable Artificial Intelligence (XAI)(25), Constraint Satisfaction and Optimization(22)

Publications190 total

Beyond Manual Planning: Seating Allocation for Large Organizations
arXiv (Cornell University)·2026Open Access
Beyond Manual Planning: Seating Allocation for Large Organizations
ArXiv.org·2026Open Access
Hierarchical Seating Allocation (Extended Abstract)
Proceedings of the International Symposium on Combinatorial Search·2025Open Access
Sequential Harmful Shift Detection Without Labels
arXiv (Cornell University)·2024Open Access
PICE: Polyhedral Complex Informed Counterfactual Explanations
Proceedings of the AAAI/ACM Conference on AI Ethics and Society·2024Open Access
Temporal Fairness in Decision Making Problems
Frontiers in artificial intelligence and applications·2024Open Access
Cyclic Vision-Language Manipulator: Towards Reliable and Fine-Grained Image Interpretation for Automated Report Generation
2024Open Access
Capacity planning and scheduling for jobs with uncertainty in resource usage and duration
The Journal of Supercomputing·2024Open Access
Are Logistic Models Really Interpretable?
arXiv (Cornell University)·2024Open Access
Progressive Inference: Explaining Decoder-Only Sequence Classification Models Using Intermediate Predictions
arXiv (Cornell University)·2024Open Access
Counterfactual Metarules for Local and Global Recourse
arXiv (Cornell University)·2024Open Access
Deep Reinforcement Learning and Mean-Variance Strategies for Responsible Portfolio Optimization
arXiv (Cornell University)·2024· 1 citedOpen Access
Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates
Proceedings of the AAAI Conference on Artificial Intelligence·2024· 1 citedOpen Access
SHAP@k: Efficient and Probably Approximately Correct (PAC) Identification of Top-K Features
Proceedings of the AAAI Conference on Artificial Intelligence·2024· 6 citedOpen Access
Fair Wasserstein Coresets
2024
Sequential Harmful Shift Detection Without Labels
2024
Robust Algorithmic Recourse Under Model Multiplicity With Probabilistic Guarantees
IEEE Journal on Selected Areas in Information Theory·2024· 2 cited
Privacy-Preserving Algorithmic Recourse
arXiv (Cornell University)·2023· 2 citedOpen Access
REFRESH: Responsible and Efficient Feature Reselection guided by SHAP values
2023Open Access
On the Connection between Game-Theoretic Feature Attributions and Counterfactual Explanations
2023· 5 citedOpen Access
page 1 of 10Next →

Frequent Co-authors

Maria Fox(15), Derek Long(13), Michael Cashmore(11), Giuseppe Della Penna(6), Fabio Mercorio(6), Michael Cashmore(4), Benedetto Intrigila(4), Sergiy Bogomolov(4), Martin Wehrle(4), Lukáš Chrpa(3), Bart De Schutter(3), T.L. McCluskey(3), Mauro Vallati(3), Tom Larkworthy(3), Patrik Haslum(3), Andreas Podelski(3), Senka Krivić(3), Bram Ridder(2), Arnau Carrera(2), Narcís Palomeras(2)