activity
20212026
most citedOn the continuous gradability of the cut-point orders of -trees

1 citations · 1 across the 10 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

math.LO2023

The Intermediate Logic of Convex Polyhedra

Sam Adam-Day, Nick Bezhanishvili, David Gabelaia +1

We investigate a recent semantics for intermediate (and modal) logics in terms of polyhedra. The main result is a finite axiomatisation of the intermediate logic of the class of al…

cs.LG2023

Zero-One Laws of Graph Neural Networks

Sam Adam-Day, Theodor Mihai Iliant, İsmail İlkan Ceylan

Graph neural networks (GNNs) are the de facto standard deep learning architectures for machine learning on graphs. This has led to a large body of work analyzing the capabilities a…