On the (In)feasibility of ML Backdoor Detection as an Hypothesis Testing Problem

1 code implementation • 26 Feb 2024 • Georg Pichler, Marco Romanelli, Divya Prakash Manivannan, Prashanth Krishnamurthy, Farshad Khorrami, Siddharth Garg

We introduce a formal statistical definition for the problem of backdoor detection in machine learning systems and use it to analyze the feasibility of such problems, providing evidence for the utility and applicability of our definition.

Automated Theorem Proving Out-of-Distribution Detection