Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Human-Automation Interaction and Safety
Abstract
Human-in-the-loop (HITL) architectures retain human verification in artificial intelligence (AI)-assisted decisions to preserve safety. Human presence does not guarantee AI-independent judgment. Multiple substantive checks can share one AI-dependent information pathway, and a Reciprocal Validation Spiral can reinforce that dependency when human approval becomes evidence for further AI trust and delegation. This paper treats independence as graded and defines a Hole in the Loop at a decision or verification point when formal HITL remains intact and zero substantive verification pathways meet a domain-specific minimum criterion for effective independence. Before such a threshold is operationalized, a limiting case is identifiable: every substantive check is downstream of the same AI output or AI-conditioned judgment, and no checker forms a pre-AI judgment or consults AI-independent evidence. The Spiral can generate, deepen, or stabilize a Hole, while a Hole can also exist without it. When the common AI-dependent pathway is systematically wrong, no effectively independent route remains to register the discrepancy before downstream action. The error can pass with multiple approvals and a completed audit trail while agreement rises, override rates fall, and procedural compliance appears complete. Correlated agreement can therefore be recorded as independent confirmation. The paper argues that calling oversight of a high-risk system meaningful carries an ethical obligation to preserve effectively independent verifiability at decision points that matter and to make its dependency structure auditable. The relevant unit of AI safety therefore moves from human presence to the preservation and observability of effectively independent verification pathways.
GAOKAO-Bench is introduced, an intuitive benchmark that employs questions from the Chinese GAOKAO examination as test samples, including both subjective and objective questions that contribute a robust evaluation benchmark for future large language models and offers valuable insights into the advantages and limitations...
Xiaotian Zhang, Chun-yan Li, Yi Zong et al.· arXiv.org· 216 citations· ⚡17
An algorithm is proposed which leverages disentangled semantic factors to generate adversarial perturbation by altering controlled semantic attributes to fool the learner towards various "adversarial" targets.
Haonan Qiu, Chaowei Xiao, Lei Yang et al.· arXiv.org· 208 citations· ⚡17
This work proposes a HALO that directly maximizes the utility of generations instead of maximizing the log-likelihood of preferences, and suggests that the best loss depends on the inductive biases most appropriate for a given setting, an oft-overlooked consideration.
This work investigates the possibilities of using LLMs in a resume screening setting via a document retrieval framework that simulates job candidate selection and finds that the MTEs are biased, significantly favoring White-associated names in 85% of cases and female-associated names in only 11.1% of cases.
This work shows that orders of magnitude enhancement in performance could be obtained by a combination of hardware improvements and tight quantum-HPC integration and introduces high-performance architectures for quantum-probabilistic computing with custom-designed accelerators to tackle today's industry-scale classical...
Masoud Mohseni, Artur Scherer, K. Johnson et al.· arXiv.org· 121 citations· ⚡9
This paper presents a comprehensive overview of the Ultralytics YOLO family, emphasizing architectural evolution, benchmarking, deployment, and emerging directions from YOLOv5 through YOLO27, and examines detection, segmentation, depth, classification, pose, oriented detection, tracking, export, quantization, and deplo...