Search papers, labs, and topics across Lattice.
The paper introduces an economic framework for auditing machine unlearning (MU) compliance, addressing the gap between MU's technical feasibility and regulatory implementation of "right to be forgotten" mandates. It uses a hypothesis-testing interpretation of certified unlearning to characterize verification uncertainty and models the strategic interaction between an auditor and an AI operator using game theory. The analysis, which overcomes MU-specific nonlinearities via a transformation into a tractable univariate auxiliary problem, reveals that the auditor can optimally reduce inspection intensity as deletion requests increase and that undisclosed auditing reduces regulatory cost-effectiveness.
Auditing AI forgetting reveals a counterintuitive result: regulators can optimally *reduce* inspection intensity as deletion requests increase, because the operator's weakened unlearning makes non-compliance easier to detect.
Despite legal mandates for the right to be forgotten, AI operators routinely fail to comply with data deletion requests. While machine unlearning (MU) provides a technical solution to remove personal data's influence from trained models, ensuring compliance remains challenging due to the fundamental gap between MU's technical feasibility and regulatory implementation. In this paper, we introduce the first economic framework for auditing MU compliance, by integrating certified unlearning theory with regulatory enforcement. We first characterize MU's inherent verification uncertainty using a hypothesis-testing interpretation of certified unlearning to derive the auditor's detection capability, and then propose a game-theoretic model to capture the strategic interactions between the auditor and the operator. A key technical challenge arises from MU-specific nonlinearities inherent in the model utility and the detection probability, which create complex strategic couplings that traditional auditing frameworks do not address and that also preclude closed-form solutions. We address this by transforming the complex bivariate nonlinear fixed-point problem into a tractable univariate auxiliary problem, enabling us to decouple the system and establish the equilibrium existence, uniqueness, and structural properties without relying on explicit solutions. Counterintuitively, our analysis reveals that the auditor can optimally reduce the inspection intensity as deletion requests increase, since the operator's weakened unlearning makes non-compliance easier to detect. This is consistent with recent auditing reductions in China despite growing deletion requests. Moreover, we prove that although undisclosed auditing offers informational advantages for the auditor, it paradoxically reduces the regulatory cost-effectiveness relative to disclosed auditing.
