Search Results for author: Tobias Schuster

Found 2 papers, 0 papers with code

Unaligned but Safe -- Formally Compensating Performance Limitations for Imprecise 2D Object Detection

no code implementations10 Feb 2022 Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng

We address a special sub-type of performance limitations: the prediction bounding box cannot be perfectly aligned with the ground truth, but the computed Intersection-over-Union metric is always larger than a given threshold.

object-detection Object Detection

Logically Sound Arguments for the Effectiveness of ML Safety Measures

no code implementations4 Nov 2021 Chih-Hong Cheng, Tobias Schuster, Simon Burton

We investigate the issues of achieving sufficient rigor in the arguments for the safety of machine learning functions.

Automated Theorem Proving

Cannot find the paper you are looking for? You can Submit a new open access paper.