Descriptive complexity for neural networks via Boolean networks

DOI10.4230/LIPICS.CSL.2024.9MaRDI QIDQ6856050zbMATH OpenFDO

Authors Veeti Ahvonen, Damian Heiman, Antti Kuusisto

Publication date 19 February 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

neural networkslogicBoolean networksdescriptive complexityfloating-point arithmetic

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: Descriptive complexity for neural networks via Boolean networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6856050)