Research Infrastructure: Support for a Workshop on Artificial Intelligence to Assist Mathematical Reasoning
Research Infrastructure: Support for a Workshop on Artificial Intelligence to Assist Mathematical Reasoning
批准号:
2316144
负责人:
Michelle Schwalbe
金额:
$24.95万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2023
资助国家:
美国
项目状态:
未结题
起止时间:
2023-03-15 至 2025-02-28
中文摘要
该奖项支持在2023年5月组织为期两天的人工智能辅助数学推理研讨会。本次研讨会汇集了学术界、工业界和政府利益相关者,讨论(1)使用人工智能辅助数学推理的技术现状,包括特定领域的案例研究;(2)推进人工智能数学推理研究的机会和由此产生的潜在影响,以及扩大这一举措所需的技术进步;(3)人工智能用于数学推理的当前挑战和障碍;(4)利益相关者在推进人工智能数学推理中的作用。研讨会视频和报告将在网上发布,一位专业的科学作家将撰写一篇简短的研讨会记录,反映研讨会的要点。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
This award supports the organization of a 2-day Workshop on Artificial Intelligence to Assist Mathematical Reasoning in May 2023. This workshop brings together academic, industry, and government stakeholders to discuss the (1) state of the art of using AI to assist mathematical reasoning, including case studies in particular domains; (2) opportunities to advance research in AI for mathematical reasoning and potential impacts from doing so, and technical advances required to expand this initiative; (3) current challenges and barriers to the use of AI for mathematical reasoning; and (4) roles for stakeholders in advancing AI for mathematical reasoning. Workshop videos and presentations will be posted online and a professional science writer will author a short workshop proceeding reflecting the key points from the workshop.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)
会议论文
2023 Quadrennial Review of the National Nanotechnology Initiative (NNI)
-
批准号:2329910
-
项目类别:Standard Grant
-
资助金额:$72.5万
-
财政年份:2023
-
负责人:Michelle Schwalbe
-
依托单位:
Fast-Track Consensus Study on Foundational Research Gaps and Future Directions for Digital Twins
-
批准号:2233022
-
项目类别:Standard Grant
-
资助金额:$9.5万
-
财政年份:2022
-
负责人:Michelle Schwalbe
-
依托单位:
The Current Status and Future Direction of High Magnetic Field Science in the United States
-
批准号:2234156
-
项目类别:Continuing Grant
-
资助金额:$70.0万
-
财政年份:2022
-
负责人:Michelle Schwalbe
-
依托单位:
Core Support of the Board on Mathematical Sciences and Analytics and the Committee on Applied and Theoretical Statistics
-
批准号:2133303
-
项目类别:Continuing Grant
-
资助金额:$123.69万
-
财政年份:2022
-
负责人:Michelle Schwalbe
-
依托单位:
Designing Materials to Revolutionize and Engineer our Future
-
批准号:2054501
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2021
-
负责人:Michelle Schwalbe
-
依托单位:
Illustrating the Impact of the Mathematical Sciences
-
批准号:1933194
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2019
-
负责人:Michelle Schwalbe
-
依托单位:
Partial Support of the Board on Mathematical Sciences and Anayltics and the Committee on Applied and Theoretical Statistics
-
批准号:1820527
-
项目类别:Standard Grant
-
资助金额:$69.0万
-
财政年份:2018
-
负责人:Michelle Schwalbe
-
依托单位:
Support of the Committee on Applied and Theoretical Statistics
-
批准号:1700083
-
项目类别:Standard Grant
-
资助金额:$9.5万
-
财政年份:2017
-
负责人:Michelle Schwalbe
-
依托单位:
Partial Support of the Meetings of the Board on Mathematical Sciences and Analytics
-
批准号:1738066
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2017
-
负责人:Michelle Schwalbe
-
依托单位:
Core Support for the Board on Mathematical Sciences and Their Applications
-
批准号:1643066
-
项目类别:Standard Grant
-
资助金额:$16.0万
-
财政年份:2016
-
负责人:Michelle Schwalbe
-
依托单位:
SUPPORT OF THE COMMITTEE ON APPLIED AND THEORETICAL STATISTICS
-
批准号:1351163
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2014
-
负责人:Michelle Schwalbe
-
依托单位:
Partial Support of the Board on Mathematical Sciences and Their Applications
-
批准号:1330486
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2014
-
负责人:Michelle Schwalbe
-
依托单位:
WORKSHOP ON TRAINING STUDENTS TO EXTRACT VALUE FROM BIG DATA
-
批准号:1332693
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:2013
-
负责人:Michelle Schwalbe
-
依托单位:
SUPPORT THE COMMITTE ON APPLIED AND THEORETICAL STATISTICS
-
批准号:1049906
-
项目类别:Standard Grant
-
资助金额:$44.93万
-
财政年份:2011
-
负责人:Michelle Schwalbe
-
依托单位:
PARTIAL SUPPORT OF THE MEETING OF THE BOARD ON MATHEMATICAL SCIENCES AND THEIR APPLICATIONS
-
批准号:1025439
-
项目类别:Standard Grant
-
资助金额:$54.0万
-
财政年份:2010
-
负责人:Michelle Schwalbe
-
依托单位:
The Mathematicals Science in 2025
-
批准号:0911899
-
项目类别:Standard Grant
-
资助金额:$70.0万
-
财政年份:2009
-
负责人:Michelle Schwalbe
-
依托单位:
Partial Support of the Meetings of the Board on Mathematical Sciences and Their Applications
-
批准号:0855710
-
项目类别:Standard Grant
-
资助金额:$16.3万
-
财政年份:2009
-
负责人:Michelle Schwalbe
-
依托单位:
Support of the Committee on Applied and Theoretical Statistics
-
批准号:0836057
-
项目类别:Standard Grant
-
资助金额:$9.0万
-
财政年份:2009
-
负责人:Michelle Schwalbe
-
依托单位:
CYBERINFRASTRUCTURE FOR COMBUSTION RESEARCH
-
批准号:0833591
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2008
-
负责人:Michelle Schwalbe
-
依托单位:
A Study to Evaluate the NSF's Vertical Integration of Research and Education (VIGRE) Program
-
批准号:0650370
-
项目类别:Standard Grant
-
资助金额:$41.5万
-
财政年份:2007
-
负责人:Michelle Schwalbe
-
依托单位:
海外基金