I'm so rarely seen maybe i don't even exist
Joined November 2011
- Tweets 248
- Following 68
- Followers 90
- Likes 11
Photos and videos
It was great to chat to @Ab__Sayed as part of our series featuring the @RealAAAI / @acm_sigai doctoral consortium participants. We found out more about his work on formal verification of neural ODEs and how this research applies to transportation.
aihub.org/2026/04/14/formal-…
2
3
609
Apr 16
I was recently interviewed by @aihuborg about my PhD work in formal verification of neural ODE . Check out the article below to read about my PhD research and the tools we are building for the future of transportation.
Formal verification for safety evaluation of autonomous vehicles: an interview with Abdelrahman Sayed Sayed ift.tt/9gfAhVe
1
1
111
Abdelrahman Sayed retweeted
5 Sep 2025
Due to a record # of submissions for our NeurIPS workshop on Symmetry & Geometry in Neural Representations (neurreps.org/), we're looking for volunteers to serve as Reviewers.
So many phenomenal submissions. Send me your OpenReview email if you'd like to contribute!
2
26
61
14,539
Abdelrahman Sayed retweeted
5 Jun 2025
Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification. arxiv.org/abs/2506.03227
1
3
238
Abdelrahman Sayed retweeted
17 Jul 2023
Congratulations Abdelrahman Ibrahim on your "Best student presentation award" at UTC 2023 👏 #UTC #EMJMD #MIR #masterthesis @NTNU @univtoulon
master-mir.eu/mir-student-re…
1
138
Abdelrahman Sayed retweeted
3 Jul 2023
MIR Students at OCEANS 2023 in Limerick 📷
Read more on: master-mir.eu/category/news/
1
1
107