Formally Verifying Analog Neural Networks with Device Mismatch Variations.

Yasmine Abu-Haeyeh, Thomas Bartelsmeier, Tobias Ladner, Matthias Althoff, Lars Hedrich, Markus Olbrich

Browse the full DATE paper archive.