Formally Verifying Analog Neural Networks with Device Mismatch Variations.

Wed, 01 Jan 2025 00:00:00 +0100

Yasmine Abu-Haeyeh, Thomas Bartelsmeier, Tobias Ladner, Matthias Althoff, Lars Hedrich, Markus Olbrich:
Formally Verifying Analog Neural Networks with Device Mismatch Variations. DATE 2025: 1-7