Original: https://ceur-ws.org/Vol-4276/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-4276/ | Year: 2026

Vol-4276
urn:nbn:de:0074-4276-x

Copyright © 2026 for the individual papers by the papers' authors. Copyright © 2026 for the volume as a collection by its editors. This volume and its papers are published under https://creativecommons.org/licenses/by/4.0/.

LOGICNN 2026

Proceedings of the Workshop on Logical Methods for Neural Network Analysis (LOGICNN 2026)
co-located with FLoC 2026

Lisbon, Portugal, July 25, 2026.

Edited by

Marco Sälzer
François Schwarzentruber
Nicolas Troquard

Table of Contents

PDF
Logic and the Power of Recurrent Graph Neural Networks - Abstract 1-1 PDF
Martin Grohe
Verification of DNNs with Marabou - Abstract 2-2 PDF
Omri Isac
Expressive Power of Graph Transformers via Logic 3-7 PDF
Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz
Towards Understanding the Expressive Power of GNNs with Global Readout 8-13 PDF
Maurice Funk, Daumantas Kojelis
An Algebraic Characterization of Local Weisfeiler–Leman 14-22 PDF
Yi Chen, Eugenia Ternovska
Words and Temporal Graphs: Comparing the Expressive Power of State Space Models and Recurrent Neural Networks 23-30 PDF
Eric Alsmann, Lowejatan Noori, Martin Lange
Towards Continuous Constraint Programming for Sound Neural Network Verification 31-43 PDF
Yi-Nung Tsao, Pierre Talbot
IsaGrad: Verified Automatic Differentiation over Computational Graphs in Imperative HOL 44-67 PDF
Alex Raymond Hyman, Filip Smola, Mark Chevallier, Jacques D. Fleuriot
Neural Networks as Fuzzy Logic Formulas 68-103 PDF
Damian Heiman, Antti Kuusisto, Esko Turunen
Neural Networks into Łukasiewicz Logic, with Applications to Formal Verification 104-109 PDF
Sandro Preto, Marcelo Finger
From MLPs to Logic: An End-to-End Neuro-Symbolic Compilation Pipeline for Explainable Clinical Classification 110-121 PDF
Mashael Alsowail, Hsi-Ming Ho, Ian Mackie

2026-09-29: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|