Detecting Nonequivalence in Neural Networks Through In-Distribution Counterexample Generation

Dina A. Moussa, Michael Hefenbrock, Mehdi B. Tahoori. Detecting Nonequivalence in Neural Networks Through In-Distribution Counterexample Generation. Embedded Systems Letters, 17(5):297-300, October 2025. [doi]

Abstract

Abstract is missing.