A general three-step auditing principle is set out that locates protocol-relevant features, verifies their causal role, and diagnoses how adaptation reshapes their use, grounding it throughout publicly available interpretability and telecommunications research.
Abstract
Mobile network operators are increasingly exploring the use of artificial intelligence (AI) to automate complex network tasks, such as cell selection and mobility management. A fundamental problem arises: there is currently no way to verify that an AI function is making the right decisions or for the right reasons, rather than arriving at correct-looking answers through unreliable shortcuts. In safety-critical and resilience-focused infrastructure, this lack of transparency poses a significant challenge to the widespread adoption of AI technologies in wireless networks. In this paper, we propose a mechanical auditing approach: inspecting a function's internal representations and checking them against machine-verifiable 3GPP specifications. Specifically, we set out a general three-step auditing principle that locates protocol-relevant features, verifies their causal role, and diagnoses how adaptation reshapes their use, grounding it throughout publicly available interpretability and telecommunications research. We present an audit-native network architecture in which a dedicated verification agent continuously checks the reasoning of AI functions in networks, supporting both predeployment certification and runtime auditing. We also discuss how it could be realised, the data and benchmarks, as well as the open challenges that remain before mechanistic auditing can enter telecommunications practice and standardisation.
Automating model growth shifts the hard problem from writing verification systems to systematically testing them; this work proposes a research agenda for trusting and harnessing automatically evolved verifiers.
Ioannis Protogeros, Tibor Schneider, Laurent Vanbever· 0 citations
This work proposes zero-knowledge auditable control and zero-trust verifiable agentic intent architecture ($Z^2$-ACT), which integrates the aforementioned four primitives across the non-real-time and near-real-time RICs.
S. A. Khowaja, K. Dev, George C. Alexandropoulos· 0 citations
This tutorial delivers a systematic, data-centric roadmap to build LLM agents that are not merely capable but provably trustworthy, unifying advances in LLM agents, robust machine learning, and data-centric AI.
Tian-Long Chen, Jian Pei, Minxing Zhang et al.· Proceedings of the 32nd ACM...· 0 citations
Recent advances in large language models are pushing IoT systems toward autonomous Artificial Intelligence of Things (AIoT) paradigms, where system behavior depends on protocol semantics, internal state, interaction history, and environmental context. This creates a gap between AI-generated decisions and the behavior o...
Xiao-Yue Ma, Hua-Li Lu, Xiang-Xiang Dai et al.· 2026 IEEE/CIC International...· 0 citations
5G-Shark is presented, a security assessment tool and methodology that turns a legitimate mobility procedure against the subscriber, and empirical evidence that in several commercial deployments, temporary identifiers are re-allocated in near-sequential steps that keep successive values linkable, a weakness that enable...
Oscar Lasierra, Gines Garcia-Aviles, A. Skarmeta et al.· 0 citations