News_2024

 October

• ECAI 2024 was a blast!🚀 I made an oral presentation on “Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations” and an outreach activity with Francesco. We showed how model changes can invalidate counterfactuals and pose challenges when these explanations are used to provide recourse recommendations! In case you missed it, check out my GitHub page; I’ll post the demo used during the outreach soon!

 July

• Our paper “Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations” in collaboration with Francesco Leofante of Centre for Explainable AI at Imperial College has been accepted at the 27th European Conference on Artificial Intelligence (ECAI 2024) 🎉. See you in Santiago de Compostela!

 June

• Two new papers produced during the research period at CMU are now available in pre-print!

  • Improving Policy Optimization via ε-Retrain. Happy to have collaborated with Enrico Marchesini and Prof. Priya Donti of the Laboratory for Information & Decision Systems at MIT for this project!

  • ModelVerification.jl: the first Julia cutting-edge toolbox that contains a suite of state-of-the-art methods for verifying DNNs.

 January

• Our paper “Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees” has been selected for an oral presentation at AAAI 2024 🤩.