Sam Adam-Day

According to our database, Sam Adam-Day authored at least 6 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Convergence Laws for Extensions of First-Order Logic with Averaging.

Sam Adam-Day, Michael Benedikt, Alberto Larrauri

CoRR, April, 2025

Neural Interactive Proofs.

Lewis Hammond, Sam Adam-Day

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

Polyhedral Completeness of Intermediate Logics: the nerve criterion.

Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra

J. Symb. Log., 2024

Graph neural network outputs are almost surely asymptotically constant.

Sam Adam-Day, Michael Benedikt, Ismail Ilkan Ceylan, Ben Finkelshtein

CoRR, 2024

Almost Surely Asymptotically Constant Graph Neural Networks.

Sam Adam-Day, Michael Benedikt, Ismail Ilkan Ceylan, Ben Finkelshtein

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

Zero-One Laws of Graph Neural Networks.

Sam Adam-Day, Theodor-Mihai Iliant, Ismail Ilkan Ceylan

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023