2 papers
cs.AI2026
Complete Identification of Deep ReLU Neural Networks by Many-Valued Logic
Yani Zhang, Helmut Bölcskei
Deep ReLU neural networks admit nontrivial functional symmetries: vastly different architectures and parameters (weights and biases) can realize the same function. We address the c…
cs.LG2025
Extracting Formulae in Many-Valued Logic from Deep Neural Networks
Yani Zhang, Helmut Bölcskei
We propose a new perspective on deep ReLU networks, namely as circuit counterparts of Lukasiewicz infinite-valued logic -- a many-valued (MV) generalization of Boolean logic. An al…