Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility - Chiodo, Maurice; Müller, Dennis; Siewert, Paul; Wetherall, Jean-Luc; Yasmine, Zoya; Burden, John (International Conference on Learning Representations, 2026)