ML Anthology

Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility

Maurice Chiodo, Dennis Müller, Paul Siewert, Jean-Luc Wetherall, Zoya Yasmine, John Burden
ICLR 2026
/iclr/2026/chiodo2026iclr-formalising/

Abstract

We use the notion of oracle machines and reductions from computability theory to formalise different Human-in-the-loop (HITL) setups for AI systems, distinguishing between trivial human monitoring (i.e., total functions), single endpoint human action (i.e., many-one reductions), and highly involved human-AI interaction (i.e., Turing reductions). We then proceed to show that the legal status and safety of different setups vary greatly. We present a taxonomy to categorise HITL failure modes, highlighting the practical limitations of HITL setups. We then identify omissions in UK and EU legal frameworks, which focus on HITL setups that may not always achieve the desired ethical, legal, and sociotechnical outcomes. We suggest areas where the law should recognise the effectiveness of different HITL setups and assign responsibility in these contexts, avoiding human `scapegoating'. Our work shows an unavoidable trade-off between attribution of legal responsibility, and technical explainability. Overall, we show how HITL setups involve many technical design decisions, and can be prone to failures out of the humans' control. Our formalisation and taxonomy opens up a new analytic perspective on the challenges in creating HITL setups, helping inform AI developers and lawmakers on designing HITL setups to better achieve their desired outcomes.

PDF ICLR OpenReview Semantic Scholar

Cite

Text

Chiodo et al. "Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility." International Conference on Learning Representations, 2026.

Markdown

[Chiodo et al. "Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility." International Conference on Learning Representations, 2026.](https://mlanthology.org/iclr/2026/chiodo2026iclr-formalising/)

BibTeX

@inproceedings{chiodo2026iclr-formalising,
  title     = {{Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility}},
  author    = {Chiodo, Maurice and Müller, Dennis and Siewert, Paul and Wetherall, Jean-Luc and Yasmine, Zoya and Burden, John},
  booktitle = {International Conference on Learning Representations},
  year      = {2026},
  url       = {https://mlanthology.org/iclr/2026/chiodo2026iclr-formalising/}
}