Amy Stell

According to our database, Amy Stell authored at least 4 papers between 2023 and 2025.

Collaborative distances:

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

2025

Formalizing Neural Networks.

Achim D. Brucker, Amy Stell

Arch. Formal Proofs, 2025

2024

(Extended) Interval Analysis.

Achim D. Brucker, Amy Stell

Arch. Formal Proofs, 2024

Formally Verified Interval Arithmetic and Its Application to Program Verification.

Achim D. Brucker, Teddy Cameron-Burke, Amy Stell

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023

Verifying Feedforward Neural Networks for Classification in Isabelle/HOL.

Achim D. Brucker, Amy Stell

Proceedings of the Formal Methods - 25th International Symposium, 2023