@misc{indiciae26061e199455,
  title = {Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes},
  author = {Yasmine Abu-Haeyeh and Tobias Ladner and Matthias Althoff and Lars Hedrich},
  year = {2026},
  url = {https://arxiv.org/abs/2605.10474},
  note = {Source identifier: 2605.10474}
}