Ayers, Edward

2 publications

AAAI 2023 Query-Based Hard-Image Retrieval for Object Detection at Test Time Edward Ayers, Jonathan Sadeghi, John Redford, Romain Mueller, Puneet K. Dokania

ICLR 2022 Proof Artifact Co-Training for Theorem Proving with Language Models Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward Ayers, Stanislas Polu