Veeti Ahvonen, Damian Heiman, Antti Kuusisto. Descriptive Complexity for Neural Networks via Boolean Networks. In Aniello Murano, Alexandra Silva 0001, editors, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy. Volume 288 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]
Abstract is missing.