Check out my GitHub page.
The following are broadly my current research interests. See also my list of publications.
- Multi-agent cooperation
- Graph machine learning
- Active learning with large language models
- Logic/set theory
The best way to contact me is by email: firstname.lastname@example.org.
|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.|
- In Proceedings of the 37th Annual Conference on Neural Information Processing Systems (NeurIPS), 2023
- Topology and its Applications, 2022
- The Journal of Symbolic Logic, 2022