Fault Robustness and Lightweight Error Correction for Low-Precision Posit Neural Networks in Safety-Critical Systems. - Suleiman Junaidu Sadiq; Martin Mariusz Lester (ICMLA, 2025)

BaB-PoNN: A Bit-Exact Branch-and-Bound Framework for Verified Robustness of Posit Neural Networks. - Suleiman Junaidu Sadiq; Martin Mariusz Lester (CPAIOR, 2026)