Complete Identification of Deep ReLU Neural Networks by Many-Valued Logic

Researchers reveal how different ReLU neural networks can represent identical functions through symmetries. Using Lukasiewicz logic translation and algebraic rewrites, they solve the complete identification problem—mapping all equivalent architectures for any given function.