Amany Alshareef

According to our database, Amany Alshareef authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Robust Bayesian Abstraction of Neural Networks.

Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang

Proceedings of the International Conference on Machine Learning and Cybernetics, 2023

Weight-based Semantic Testing Approach for Deep Neural Networks.

Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang

Proceedings of the IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023), 2023

2022

Quantifying the Importance of Latent Features in Neural Networks.

Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021

Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features.

Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang

CoRR, 2021