1
Formal Analysis and Supply Chain Security for Agentic AI Skills
用形式化方法为Agentic AI技能供应链安全把关，这是AI安全前沿的关键议题。
arXiv:2603.00195v2 Announce Type: replace-cross Abstract: 32 pages, 5 theorems with full proofs, 68 references, open-source tool: https://github.com/q…