← Search

Edward Ayers

2 accepted papers

2023

Query-Based Hard-Image Retrieval for Object Detection at Test Time

AAAI 2023technical

There is a longstanding interest in capturing the error behaviour of object detectors by finding images where their performance is likely to be unsatisfactory. In real-world applications such as autonomous driving, it is also crucial to characterise potential failures beyond simple requirements of d…

2022

Proof Artifact Co-Training for Theorem Proving with Language Models

ICLR 2022poster

Labeled data for imitation learning of theorem proving in large libraries of formalized mathematics is scarce as such libraries require years of concentrated effort by human specialists to be built. This is particularly challenging when applying large Transformer language models to tactic prediction…

Cited by 130SourcePDFScholar