ENTITY
Abdelrahman Sayed Sayed
Abdelrahman Sayed Sayed
PulseAugur coverage of Abdelrahman Sayed Sayed — every cluster mentioning Abdelrahman Sayed Sayed across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
New AI framework enhances AUV plankton classification robustness
Researchers have developed a new robustness verification framework for AI classifiers used on autonomous underwater vehicles (AUVs) to monitor plankton. This framework utilizes reachability analysis and a continuous-tim…
-
New TNODEV Toolbox Enhances Neural ODE Verification
Researchers have developed TNODEV, a new toolbox designed for the formal verification of neural ordinary differential equations (neural ODEs). This tool addresses limitations in existing methods by integrating a falsifi…