Cellular automata, many-valued logic, and deep neural networks

no code implementations • 8 Apr 2024 • 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 (CA).

Extracting Formulae in Many-Valued Logic from Deep Neural Networks

no code implementations • 22 Jan 2024 • Yani Zhang, Helmut Bölcskei

An algorithm for extracting formulae in MV logic from deep ReLU networks is presented.