| 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 June - Two new papers produced during the research period at CMU are now available in pre-print!
January - Our paper “Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees” has been selected for an oral presentation at AAAI 2024 🤩.
|
| 2023 | Dec - New paper accepted at AAAI 2024: “Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees”.
Nov - “Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing” has been accepted at the 10th Italian Workshop on Artificial Intelligence and Robotics (AIRO 2023) , co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AI*IA 2023).
Jun - Our paper “Formal Verification for Counting Unsafe Inputs in Deep Neural Networks” has been accepted at the 2nd Workshop on Formal Verification of Machine Learning (WFVML 2023) at ICML 2023!
- Our paper “Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation” has been accepted at IROS 2023! 🤖
May April - Our paper “The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks” has been accepted at IJCAI 2023 (15% acceptance rate) 🤩.
January - Our paper “Verifying Learning-Based Robotic Navigation Systems” in collaboration with The Katz Lab has been accepted at ETAPS TACAS 2023 🚀.
- Our paper “Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation” has been accepted at ICRA 2023.
- Our paper “Safe Deep Reinforcement Learning by Verifying Task-Level Properties” has been accepted at AAMAS 2023.
|
| 2022 | October - Excited to start a PhD in Computer Science advised by Prof. Alessandro Farinelli and Prof. Ferdinando Cicalese at the Department of Computer Science, Verona.
April - I Started a Research Fellowship under the supervision of Prof. Alessandro Farinelli at the Department of Computer Science, Verona.
|
| 2021 | December - 1 poster paper accepted at ACM SAC IRMAS (< 25% acceptance rate) on “Curriculum Learning For Safe Mapless Navigation”.
September - 1 paper accepted at IEEE ICAR on “Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks”.
|