Neuro-Symbolic Participation Governance for Verifiable AI Agents in Open Digital Twin Ecosystems

arXiv:2608.00937 · cs.CR, cs.AI, cs.MA · Submitted 2026-08-02 · Read on arXiv

Juan Li, Wei Cai, Yan Bai

cs.CR, cs.AI, cs.MA

Submitted: 2026-08-02

Comments: Accepted at the 2026 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2026), Bellevue, WA, USA, October 4-7, 2026. 7 pages, 1 figure, 5 tables. Code: https://github.com/weicaiuw/verigov-ai (DOI: 10.5281/zenodo.21706699)

Code: https://github.com/weicaiuw/verigov-ai

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Digital Twin — 22× in this paper · explained in 6 episodes
• Verification — 16× in this paper · explained in 2 episodes
• Ontology — 11× in this paper · explained in 2 episodes
• AI Agents — 10× in this paper · explained in 2 episodes
• Multi-Agent System — 6× in this paper · explained in 7 episodes
• Knowledge Graph — 4× in this paper · explained in 8 episodes
• Provenance — 4× in this paper · explained in 5 episodes
• Knowledge graphs — 3× in this paper · explained in 2 episodes
• Core — 2× in this paper · explained in 2 episodes
• Accountability — 1× in this paper · explained in 2 episodes
• Actor — 1× in this paper · explained in 3 episodes
• Explainability — 1× in this paper · explained in 4 episodes
• Language Models (LLMs) — 1× in this paper · explained in 2 episodes
• Large Language Model (LLM) — 1× in this paper · explained in 3 episodes
• Multi-Agent Architecture — 1× in this paper · explained in 2 episodes
• Multi-agent Collaboration — 1× in this paper · explained in 2 episodes
• Verifiability — 1× in this paper · explained in 3 episodes
• Verifier — 1× in this paper · explained in 2 episodes
• W3Ccompliant Verifiable Credential — 1× in this paper

Sources

• AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation
• Large Language Model based Multi-Agents: A Survey of Progress and Challenges

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Estimating the Social Cost of Corporate Data Breaches
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills