← Search

Sam Adam-Day

3 accepted papers

2025

Neural Interactive Proofs

ICLR 2025poster

We consider the problem of how a trusted, but computationally bounded agent (a 'verifier') can learn to interact with one or more powerful but untrusted agents ('provers') in order to solve a given task. More specifically, we study the case in which agents are represented using neural networks and r…

Cited by 1SourcePDFScholar
2024

Almost Surely Asymptotically Constant Graph Neural Networks

NeurIPS 2024poster

We present a new angle on the expressive power of graph neural networks (GNNs) by studying how the predictions of real-valued GNN classifiers, such as those classifying graphs probabilistically, evolve as we apply them on larger graphs drawn from some random graph model. We show that the output conv…