Francesco Leofante
9 papers · 2018–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
๐ Interdisciplinary Bridge ยท Bronze ๐ Academic Marathon ยท Sprint ๐ Conference Polyglot ยท Bronze ๐บ๏ธ Taxonomy Completionist (14) ๐ Keyword Champion (6)
๐
Trend Setter
๐
Renaissance Researcher
(5)
Top co-authors
Research topics
Keywords
counterfactual explanation
(6)
explainable ai
(3)
robustness guarantee
(2)
optimal planning
(2)
model robustness
(2)
neural network interpretability
(1)
model interpretability
(1)
formal verification
(1)
markov decision process
(1)
machine learning
(1)
approximation algorithm
(1)
neural network verification
(1)
counterfactual reasoning
(1)
task execution
(1)
black-box model
(1)
neural network classifier
(1)
algorithmic recourse
(1)
nonlinear optimization
(1)
temporal constraint
(1)
strategy synthesis
(1)
Papers
Counterfactual Explanations Under Model Multiplicity and Their Use in Computational Argumentation
IJCAI 2025
Counterfactual Strategies for Markov Decision Processes
IJCAI 2025
RobustX: Robust Counterfactual Explanations Made Easy
IJCAI 2025
Promoting Counterfactual Robustness through Diversity
AAAI 2024
Robust Counterfactual Explanations in Machine Learning: A Survey
IJCAI 2024
Formalising the Robustness of Counterfactual Explanations for Neural Networks
AAAI 2023
Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation
ACML 2023
Optimal Planning Modulo Theories
IJCAI 2020
Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back)
IJCAI 2018