In 2019, the National New Generation Artificial Intelligence Governance Expert Committee of China was established and released Governance Principles for a New Generation of Artificial Intelligence. De

Mendeley Data50

sentra-source

形式验证安全门

AI安全治理

sentra Source — Security Gate Mirror 是一个用于AI安全的形式验证数据集，作为sentra（六门AI安全器官）的源存储库镜像。它包含用Lean 4编程语言实现的安全门定义、用于记录门决策的DSSE（数字签名软件工单）收据发射器、所有40个锚定公式的测试夹具以及集成测试。门定义与形式验证语料库中的锚定公式严格一一对应，为sentra-security-gates空

Hugging Face2026-05-30 更新20

USE OF ARTIFICIAL INTELLIGENCE IN THE MILITARY: MODERN TRENDS AND SECURITY CHALLENGES

军事人工智能

AI安全治理

This thesis analyzes current trends in the use of artificial intelligence in the military domain and the associated security challenges. The study explores the role of AI in intelligence, autonomous s

Zenodo2026-04-30 更新50

Towards a common reporting framework for AI incidents

AI事件报告标准化

AI安全治理

This paper presents a common framework for reporting artificial intelligence (AI) incidents that provides a global benchmark for stakeholders across jurisdictions and sectors. The framework enables co

Organisation for Economic Co-operation and Development40