Machine-Learned Premise Selection for Lean

1 code implementation • 17 Mar 2023 • Bartosz Piotrowski, Ramon Fernández Mir, Edward Ayers

For this purpose, we designed a custom version of the random forest model, trained in an online fashion.

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

1 code implementation • 23 Sep 2022 • Edward Ayers, Jonathan Sadeghi, John Redford, Romain Mueller, Puneet K. Dokania

There is a longstanding interest in capturing the error behaviour of object detectors by finding images where their performance is likely to be unsatisfactory.

Autonomous Driving Image Retrieval +2

PaRoT: A Practical Framework for Robust Deep Neural Network Training

1 code implementation • 7 Jan 2020 • Edward Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside

Deep Neural Networks (DNNs) are finding important applications in safety-critical systems such as Autonomous Vehicles (AVs), where perceiving the environment correctly and robustly is necessary for safe operation.

Adversarial Defense Autonomous Vehicles