A Formally Verified Robustness Certifier for Neural Networks. - James Tobler; Hira Taqdees Syeda; Toby Murray (CAV (2), 2025)

A Formally Verified Robustness Certifier for Neural Networks (Extended Version). - James Tobler; Hira Taqdees Syeda; Toby Murray (CoRR, 2025)