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

Suleiman Junaidu Sadiq, Martin Mariusz Lester

Browse the full CPAIOR paper archive.