3 papers
cs.AI2026
Complete Identification of Deep ReLU Networks through Łukasiewicz Logic
Yani Zhang, Helmut Bölcskei
Two deep ReLU networks can have entirely different architectures and parameters, yet realize the same function. We provide a complete characterization of this nonuniqueness. This i…
cs.AI2024
Cellular automata, many-valued logic, and deep neural networks
Yani Zhang, Helmut Bölcskei
We develop a theory characterizing the fundamental capability of deep neural networks to learn, from evolution traces, the logical rules governing the behavior of cellular automata…
cs.LG2024
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…