Research Infrastructure: Support for a Workshop on Artificial Intelligence to Assist Mathematical Reasoning
研究基础设施:支持人工智能辅助数学推理研讨会
基本信息
- 批准号:2316144
- 负责人:
- 金额:$ 24.95万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2023
- 资助国家:美国
- 起止时间:2023-03-15 至 2025-02-28
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
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.
该奖项支持于2023年5月组织为期2天的人工智能辅助数学推理研讨会。本次研讨会汇集了学术界、工业界和政府利益相关者,讨论(1)使用人工智能辅助数学推理的最新技术,包括特定领域的案例研究;(2)推进人工智能数学推理研究的机会及其潜在影响,以及扩大这一举措所需的技术进步;(3)当前将人工智能用于数学推理的挑战和障碍;(4)利益相关者在推进人工智能用于数学推理方面的作用。研讨会视频和演讲将在网上发布,专业科学作家将撰写一份简短的研讨会论文集,反映研讨会的要点。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Michelle Schwalbe其他文献
Michelle Schwalbe的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Michelle Schwalbe', 18)}}的其他基金
2023 Quadrennial Review of the National Nanotechnology Initiative (NNI)
2023 年国家纳米技术计划 (NNI) 四年一度审查
- 批准号:
2329910 - 财政年份:2023
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
Fast-Track Consensus Study on Foundational Research Gaps and Future Directions for Digital Twins
关于数字孪生基础研究差距和未来方向的快速共识研究
- 批准号:
2233022 - 财政年份:2022
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
The Current Status and Future Direction of High Magnetic Field Science in the United States
美国强磁场科学的现状和未来方向
- 批准号:
2234156 - 财政年份:2022
- 资助金额:
$ 24.95万 - 项目类别:
Continuing Grant
Core Support of the Board on Mathematical Sciences and Analytics and the Committee on Applied and Theoretical Statistics
数学科学与分析委员会和应用与理论统计委员会的核心支持
- 批准号:
2133303 - 财政年份:2022
- 资助金额:
$ 24.95万 - 项目类别:
Continuing Grant
Designing Materials to Revolutionize and Engineer our Future
设计材料来彻底改变和设计我们的未来
- 批准号:
2054501 - 财政年份:2021
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
Illustrating the Impact of the Mathematical Sciences
说明数学科学的影响
- 批准号:
1933194 - 财政年份:2019
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
Partial Support of the Board on Mathematical Sciences and Anayltics and the Committee on Applied and Theoretical Statistics
数学科学和分析委员会以及应用和理论统计委员会的部分支持
- 批准号:
1820527 - 财政年份:2018
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
Support of the Committee on Applied and Theoretical Statistics
应用和理论统计委员会的支持
- 批准号:
1700083 - 财政年份:2017
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
Partial Support of the Meetings of the Board on Mathematical Sciences and Analytics
数学科学与分析委员会会议的部分支持
- 批准号:
1738066 - 财政年份:2017
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
Core Support for the Board on Mathematical Sciences and Their Applications
数学科学及其应用委员会的核心支持
- 批准号:
1643066 - 财政年份:2016
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
相似海外基金
Conference: Inclusive Collaboration Resources: Enhancing Research Support Infrastructure at Minority Serving Institutions
会议:包容性合作资源:加强少数族裔服务机构的研究支持基础设施
- 批准号:
2324325 - 财政年份:2023
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
Research Infrastructure: Peromyscus Genetic Stock Center Support
研究基础设施:Peromyscus 遗传库存中心支持
- 批准号:
2312990 - 财政年份:2023
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
Conference: Growing the Research Administrative Infrastructure to Support EPSCoR (RAISE) - Vermont
会议:发展研究管理基础设施以支持 EPSCoR (RAISE) - 佛蒙特州
- 批准号:
2324457 - 财政年份:2023
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
Research Infrastructure: Continued Support of the Duke Lemur Center for the Study of Primate Biology and History
研究基础设施:杜克狐猴灵长类生物学和历史研究中心的持续支持
- 批准号:
2314898 - 财政年份:2023
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
Collaborative Research: High-Resolution Aerial Forest Mapping Infrastructure and Database to Support Forest and Disturbance Ecology Research
合作研究:支持森林和干扰生态学研究的高分辨率航空森林测绘基础设施和数据库
- 批准号:
2152671 - 财政年份:2022
- 资助金额:
$ 24.95万 - 项目类别:
Continuing Grant
Collaborative Research: High-Resolution Aerial Forest Mapping Infrastructure and Database to Support Forest and Disturbance Ecology Research
合作研究:支持森林和干扰生态学研究的高分辨率航空森林测绘基础设施和数据库
- 批准号:
2152673 - 财政年份:2022
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
Euro GO-SHIP: developing a Research Infrastructure concept to support European hydrography
Euro GO-SHIP:开发研究基础设施概念以支持欧洲水文学
- 批准号:
10068242 - 财政年份:2022
- 资助金额:
$ 24.95万 - 项目类别:
EU-Funded
Euro GO-SHIP: developing a Research Infrastructure concept to support European hydrography
Euro GO-SHIP:开发研究基础设施概念以支持欧洲水文学
- 批准号:
10051458 - 财政年份:2022
- 资助金额:
$ 24.95万 - 项目类别:
EU-Funded
Collaborative Research: High-Resolution Aerial Forest Mapping Infrastructure and Database to Support Forest and Disturbance Ecology Research
合作研究:支持森林和干扰生态学研究的高分辨率航空森林测绘基础设施和数据库
- 批准号:
2152672 - 财政年份:2022
- 资助金额:
$ 24.95万 - 项目类别:
Standard Grant
Within Arms' Reach: Infrastructure for Research in Support of the Canadarm3 Program
触手可及:支持 Canadaarm3 计划的研究基础设施
- 批准号:
RTI-2021-00647 - 财政年份:2020
- 资助金额:
$ 24.95万 - 项目类别:
Research Tools and Instruments