We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 2207.06755 can endorse.

Verification of Sigmoidal Artificial Neural Networks using iSAT

Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann, Paul Kröger and Martin Fränzle are not registered as owners of this paper. (why?)