3 papers
math.LO2026
Model Comparison Games for Generalized Quantifiers
Antti Kuusisto, Miguel Moreno, Matias Selin
We introduce three new model comparison games that characterize separability by first-order formulas with generalized quantifiers. The first is built on the Ehrenfeucht-Fraïssé g…
cs.LG2026
Graph Learning via Logic-Based Weisfeiler-Leman Variants and Tabularization
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto +3
We present a novel approach for graph classification based on tabularizing graph data via new variants of the Weisfeiler-Leman algorithm and then applying methods for tabular data.…
cs.LO2026
Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
Veeti Ahvonen, Damian Heiman, Antti Kuusisto +2
We give a novel logical characterization of encoder-decoder transformers, the foundational architecture for LLMs that also sees use in various settings that benefit from cross-atte…