Zero-One Laws of Graph Neural Networks. - Sam Adam-Day; Theodor-Mihai Iliant; Ismail Ilkan Ceylan (NeurIPS, 2023)

Almost Surely Asymptotically Constant Graph Neural Networks. - Sam Adam-Day; Michael Benedikt; Ismail Ilkan Ceylan; Ben Finkelshtein (NeurIPS, 2024)

Graph neural network outputs are almost surely asymptotically constant. - Sam Adam-Day; Michael Benedikt; Ismail Ilkan Ceylan; Ben Finkelshtein (CoRR, 2024)

Polyhedral Completeness of Intermediate Logics: the nerve criterion. - Sam Adam-Day; Nick Bezhanishvili; David Gabelaia; Vincenzo Marra (J. Symb. Log., 2024)

Neural Interactive Proofs. - Lewis Hammond; Sam Adam-Day (ICLR, 2025)

Convergence Laws for Extensions of First-Order Logic with Averaging. - Sam Adam-Day; Michael Benedikt; Alberto Larrauri (CoRR, 2025)