Francesco Leofante
9 papers
· 2018–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(15)
π
Academic Marathon
(7)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(12)
π
Conference Polyglot
(3)
π§
Keyword Pioneer
π
Keyword Champion
(6)
Conferences
IJCAI (6)
AAAI (2)
ACML (1)
Top co-authors
Keywords
counterfactual explanation
(6)
explainable ai
(3)
optimal planning
(2)
model robustness
(2)
computational argumentation
(1)
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)
algorithmic recourse
(1)
robustness guarantee
(1)
temporal constraint
(1)
strategy synthesis
(1)
explainable machine learning
(1)
Papers
Optimal Planning Modulo Theories
IJCAI 2020