2 papers
cs.LO2025
Convergence Laws for Extensions of First-Order Logic with Averaging
Sam Adam-Day, Michael Benedikt, Alberto Larrauri
For many standard models of random structure, first-order logic sentences exhibit a convergence phenomenon on random inputs. The most well-known example is for random graphs with c…
cs.LG2024
Almost Surely Asymptotically Constant Graph Neural Networks
Sam Adam-Day, Michael Benedikt, Ä°smail Ä°lkan Ceylan +1
We present a new angle on the expressive power of graph neural networks (GNNs) by studying how the predictions of real-valued GNN classifiers, such as those classifying graphs prob…