Sep 25, 2023 My paper Zero-One Laws of Graph Neural Networks has been accepted for publication at the NeurIPS Conference.
Sep 18, 2023 I’ve started a new job as a Research Associate in the Department of Computer Science at University of Oxford, advised by Michael Benedikt
Aug 1, 2023 My collaborators and I have written a new paper, The Intermediate Logic of Convex Polyhedra.
Mar 16, 2023 My joint paper Polyhedral completeness of intermediate logics: the Nerve Criterion has been published by the Journal of Symbolic Logic.