Sahar M. Alzahrani

According to our database, Sahar M. Alzahrani authored at least 3 papers between 2024 and 2026.

Collaborative distances:

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

2026

Efficient Repair of Binarized Neural Networks Using Binary Activation Lookup Tables.

Sahar M. Alzahrani, Sven Schewe, Xiaowei Huang

Proceedings of the 18th International Conference on Agents and Artificial Intelligence, 2026

Formal Analysis of Hopfield Networks through 0-1 Integer Linear Programming and SMT Solving.

Sahar M. Alzahrani, Sven Schewe, Xiaowei Huang

Proceedings of the 18th International Conference on Agents and Artificial Intelligence, 2026

2024

Analytically Determining the Robustness of Binarized Neural Networks.

Sahar M. Alzahrani, Sven Schewe, Chao Huang, Xiaowei Huang

Proceedings of the International Conference on Machine Learning and Applications, 2024