Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory. - Sirshendu Das; Ansuman Banerjee; Swarup Kumar Mohalik (LCTES, 2025)