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

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.CY2025★ 3 cited

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

Maurice Chiodo, Dennis Müller, Paul Siewert +3

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…