Skip to content

Sam Adam-Day

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2025–2025

Best venue rank

A*

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2025ICLRNeural Interactive Proofs.Lewis Hammond, Sam Adam-Day
2025LICSConvergence Laws for Extensions of First-Order Logic with Averaging.Sam Adam-Day, Michael Benedikt, Alberto Larrauri