Davide Corsi

🎓 Postdoctoral Researcher @UCIrvine 🤖 Artificial Intelligence and Robotics 📍 Los Angeles 🇺🇲

[Mingxuan Li @Mingxuan0422]

Thank you @yudapearl !
It's such an honor for me to co-organize the First Causal Reinforcement Learning Workshop at RLC 2025. We have a wonderful list of speakers from both the causality side and reinforcement learning side.

Checkout our website here!
https://t.co/DU3AKfsMQT

[Davide Corsi @dcorsi_]

We’re honored to have Turing Award winner @yudapearl supporting our Causal Reinforcement Learning Workshop!

Excited to see you at @RL_Conference! Check out our Call for Papers and the list of our amazing speakers: https://t.co/FPJJb1EaOc

[Judea Pearl @yudapearl]

Could causal reasoning be the next step toward building more robust, generalizable, and interpretable RL agents?

To find out, you may wish to participate in the Causal Reinforcement Learning (CausalRL) Workshop, which will be held on August 5th, 2025, as part of the Reinforcement Learning Conference (RLC 2025). https://t.co/IYbluUuvIJ

[Davide Corsi @dcorsi_]

Thrilled to announce that our paper has won one of the ‘Outstanding Paper Awards’ at #RLC! A huge thank you to my coauthors and the conference organizers for this honor @RL_Conference.

[Davide Corsi @dcorsi_]

Looking for a challenging and realistic benchmark for your #DRL algorithm? Check out our new paper accepted at #RLC2024! Thanks to my co-authors @alex_sandrof and @dav_camponogara!

Paper: https://t.co/sAGBCK7LLB
Github: https://t.co/6xFm60BX87

[Davide Corsi @dcorsi_]

How to face #safety challenges in DRL and #robotics? I am very excited to share that my first work in Prof. @roydfox's group at #UCI has been accepted at RLC2024! @RL_Conference

Verification-Guided Shielding for Deep Reinforcement Learning: https://t.co/yIsBflfIJb

[Davide Corsi @dcorsi_]

Our new paper has been accepted at #AAAI24🎉 A novel approach to identify the (un)safe regions in the domain of neural networks.

"Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees"

Paper: https://t.co/cx8hTlB8sP
Git: https://t.co/7qtdvPRe32

[Davide Corsi @dcorsi_]

Interested in the intersection between formal verification and explainability in deep reinforcement learning? Check out our paper accepted at #FMCAD2023: "Formally Explaining Neural Networks within Reactive Systems"! 🤩

arxiv: https://t.co/JuL6pK3Su0

[Davide Corsi @dcorsi_]

Excited to share that our work "Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation" has been accepted to #IROS2023 🤖

Many thanks to my co-authors @lmarza_ and @its_pores! 🎉

arxiv: https://t.co/yQ1nARNCra

[Davide Corsi @dcorsi_]

Our paper titled "The #'DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networks" has been accepted to IJCAI 2023 #IJCAI2023. Thanks to my co-author @lmarza_ 👏👏👏

arxiv: https://t.co/h61mEWJZOx