Verifying Feedforward Neural Networks for Classification in Isabelle/HOL. - Achim D. Brucker; Amy Stell (FM, 2023)

Formally Verified Interval Arithmetic and Its Application to Program Verification. - Achim D. Brucker; Teddy Cameron-Burke; Amy Stell (FormaliSE@ICSE, 2024)

(Extended) Interval Analysis. - Achim D. Brucker; Amy Stell (Arch. Formal Proofs, 2024)