Suleiman Junaidu Sadiq

According to our database, Suleiman Junaidu Sadiq authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

BaB-PoNN: A Bit-Exact Branch-and-Bound Framework for Verified Robustness of Posit Neural Networks.

Suleiman Junaidu Sadiq, Martin Mariusz Lester

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2026

2025

Fault Robustness and Lightweight Error Correction for Low-Precision Posit Neural Networks in Safety-Critical Systems.

Suleiman Junaidu Sadiq, Martin Mariusz Lester

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