Abdelrahman Sayed

I'm so rarely seen maybe i don't even exist

[Robotics Papers @OWW]

Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier

Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Asgeir J. Sørensen, …
https://t.co/52NhhB0wOa [𝚌𝚜.𝚁𝙾 𝚌𝚜.𝙰𝙸 𝚎𝚎𝚜𝚜.𝚂𝚈 𝚖𝚊𝚝𝚑.𝙳𝚂]
💬Accepted in IEEE OES AUV Symposium 2026

[Artificial Intelligence Papers @SciFi]

TNODEV: Toolbox for Neural ODE Verification

Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel
https://t.co/8MPxcxPz63 [𝚌𝚜.𝙰𝙸 𝚌𝚜.𝙻𝙶 𝚎𝚎𝚜𝚜.𝚂𝚈 𝚖𝚊𝚝𝚑.𝙳𝚂]

[AIhub @aihuborg]

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.
https://t.co/5QDszfwev8

[Abdelrahman Sayed @Ab__Sayed]

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.

[AIhub @aihuborg]

Formal verification for safety evaluation of autonomous vehicles: an interview with Abdelrahman Sayed Sayed https://t.co/xPsb4SwDl6

[Francisco Acosta @hopfbifurcator]

Due to a record # of submissions for our NeurIPS workshop on Symmetry & Geometry in Neural Representations (https://t.co/f8mfGsZIoV), we're looking for volunteers to serve as Reviewers.
So many phenomenal submissions. Send me your OpenReview email if you'd like to contribute!

[Machine Learning (ML) Papers @Memoirs]

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification. https://t.co/U1S83ijlmm

[Master MIR @MasterMIR_EM]

Congratulations Abdelrahman Ibrahim on your "Best student presentation award" at UTC 2023 👏 #UTC #EMJMD #MIR #masterthesis @NTNU @univtoulon
https://t.co/sjZTwiw3PM

[Master MIR @MasterMIR_EM]

MIR Students at OCEANS 2023 in Limerick 📷
Read more on: https://t.co/x6l8YjTBxC