HARDEN: Hardening Development Toolchains Against Emergent Execution Engines
项目负责人:Sergey Bratus 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/hardening-development-toolchains-against-emergent-execution-engines 项目概要:HARDEN 将探索新颖的理论和方法,并寻求开发实用工具,以预测、隔离和缓解
CHESS: Computers and Humans Exploring Software Security
项目负责人:威廉·马丁先生 赞助组织:DARPA网站:https://www.darpa.mil/program/computers-and-humans-exploring-software-security 项目概要:CHESS 旨在开发以可扩展、及时和一致的方式发现和解决所有类型软件漏洞的能力
D3M: Data-Driven Discovery of Models
项目负责人:Joshua Elliott 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/data-driven-discovery-of-models 项目概要:D3M 旨在开发自动模型发现系统,使具有主题专业知识但没有数据科学背景的用户能够创建经验模型
RED: Reverse Engineering of Deceptions
项目负责人:布鲁斯·德雷珀博士 赞助组织:DARPA网站:https://www.darpa.mil/program/reverse-engineering-of-deceptions 项目概要:机器学习技术在训练时和部署时容易受到对抗性欺骗。人类也容易被欺骗
REPO: Reduction of Entropy for Probabilistic Organization
项目负责人:Daniel Ridge 先生 赞助组织:DARPA网站:https://www.darpa.mil/program/reduction-of-entropy-for-probabilistic-organization 项目概要:REPO 旨在开发技术,使分析师能够处理包含
SocialCyber: Hybrid AI to Protect Integrity of Open Source Code
项目负责人:Sergey Bratus 博士 赞助机构:DARPA网站:https://www.darpa.mil/program/hybrid-ai-to-protect-integrity-of-open-source-code项目概要:国防部依赖其整个供应链中的开源软件 (OSS),包括操作系统、虚拟化系统、虚拟机管理程序和
ASKE: Automating Scientific Knowledge Extraction
项目负责人:Joshua Elliott 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/automating-scientific-knowledge-extraction 项目概要:ASKE 致力于开发技术,使一些科学知识发现、整理和应用的手动过程实现自动化。目标是
KAIROS: Knowledge-directed Artificial Intelligence Reasoning Over Schemas
项目负责人:William Corvey 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/knowledge-directed-artificial-intelligence-reasoning-over-schemas 项目概要:KAIROS 旨在开发一种基于模式的 AI 系统,可以识别复杂事件并引起用户的注意。
Communicating with Computers (CwC), Dr. Bruce Draper
与计算机通信 (CwC),Bruce Draper 博士
SD2: Synergistic Discovery and Design
项目负责人:Joshua Elliott 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/synergistic-discovery-and-design 项目概要:SD2 将解决缺乏完整模型的领域的设计问题。 SD2 旨在开发数据驱动的方法来自动发现模型并进行改进
LINC: Learning Introspective Control
项目负责人:John-Francis Mergen 先生 赞助机构:DARPA网站:https://www.darpa.mil/program/learning-introspective-control 项目概要:LINC 旨在开发基于机器学习的内省技术,使物理系统成为可能——特别关注地面车辆、船舶、无人机
GARD: Guaranteeing AI Robustness Against Deception
项目负责人:Bruce Draper 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/guaranteeing-ai-robustness-against-deception 项目概要:GARD 致力于建立理论机器学习 (ML) 系统基础,以识别系统漏洞,描述将
XAI: Explainable Artificial Intelligence
项目负责人:Matt Turek 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/explainable-artificial-intelligence 项目概要:能够自行感知、学习、决策和行动的自主系统即将问世;然而,他们目前无法解释他们的决定和
项目负责人:威廉·马丁先生 赞助组织:DARPA网站:https://www.darpa.mil/program/assured-autonomy 项目概要:保证自主计划的目标是创建用于持续保证学习型网络物理系统 (LE-CPS) 的技术。持续保证的定义
项目负责人:May Casterline 和 Thomas A. Longstaff 赞助组织:NASEM网站:https://www.nationalacademies.org/our-work/testing-evaluating-and-assessing-artificial-intelligence-enabled-systems-under-operational-conditions-for-the-department-of-the-air-force 项目概要:一项研究,旨在检查
Dr. Pope Interviewed for CBC News: The National
Robert Pope 博士在 CBC News 的调查报告中接受了采访,该报告揭露了 QAnon 关于美国资助的乌克兰“生物实验室”的阴谋论如何演变成主流虚假信息。
style="text-indent: 2em; "Take a closer look at the Vietnam Veterans Memorial, which was dedicated in 1982, fulfilling a promise to never forget those who served and sacrificed during the Vietnam War.