课题基金 / 基金详情

NSF Workshop on Safety and Trust in Artificial Intelligence Enabled Systems

NSF Workshop on Safety and Trust in Artificial Intelligence Enabled Systems
NSF 人工智能支持系统安全与信任研讨会
批准号:
2231543
负责人:
Taylor Johnson
金额:
$4.91万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2022
资助国家:
美国
项目状态:
已结题
起止时间:
2022-08-01 至 2023-07-31

项目摘要

项目成果

Taylor Johnson的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This aim of this workshop is to identify emerging issues, challenges, basic research questions, and potential approaches to study and address safety and trust in AI-enabled systems across application domains. The workshop will bring together researchers from academia, industry, and government research labs that are working in the areas of artificial intelligence, and formal methods, and application domains such as autonomous systems, business and finance, and education. The main deliverable of the workshop is a report summarizing the discussions and findings of the workshop, which will be made publicly available.Fostering the development of collaborations and the exchange of ideas between the formal methods, AI/ML, and broader research communities and stakeholders is critical and may lead to advances in methods that improve both AI/ML and formal methods, as well as the broader concerns about safety and trust of these AI-enabled systems across science, engineering, and society. The workshop will particularly encourage participation and perspectives from persons coming from underrepresented groups.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: FMitF: Track II: Enhancing the Neural Network Verification (NNV) Tool for Industrial Applications
  • 批准号:
    2220426
  • 项目类别:
    Standard Grant
  • 资助金额:
    $4.93万
  • 财政年份:
    2022
  • 负责人:
    Taylor Johnson
  • 依托单位:
FMitF: Track I: Generative Neural Network Verification in Medical Imaging Analysis
  • 批准号:
    2220401
  • 项目类别:
    Standard Grant
  • 资助金额:
    $74.75万
  • 财政年份:
    2022
  • 负责人:
    Taylor Johnson
  • 依托单位:
Collaborative Research: Operator theoretic methods for identification and verification of dynamical systems
  • 批准号:
    2028001
  • 项目类别:
    Standard Grant
  • 资助金额:
    $22.99万
  • 财政年份:
    2020
  • 负责人:
    Taylor Johnson
  • 依托单位:
SHF: Small: Collaborative Research: Fuzzing Cyber-Physical System Development Tool Chains with Deep Learning (DeepFuzz-CPS)
  • 批准号:
    1910017
  • 项目类别:
    Standard Grant
  • 资助金额:
    $24.84万
  • 财政年份:
    2019
  • 负责人:
    Taylor Johnson
  • 依托单位:
海外基金