← 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 1Source ↗PDF ↗Scholar ↗
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…