Amany Alshareef

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Top Venues

AISafety/SafeRL@IJCAI

Publications

Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
Robust Bayesian Abstraction of Neural Networks. ICMLC (2023)
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
Weight-based Semantic Testing Approach for Deep Neural Networks. AISafety/SafeRL@IJCAI (2023)
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
Quantifying the Importance of Latent Features in Neural Networks. SafeAI@AAAI (2022)
Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features. CoRR (2021)