73个某机构研究奖获奖项目公布
获奖者来自10个国家的46所大学，可获得某机构公开数据集及AWS AI/ML服务工具支持。
2025年6月3日
某机构研究奖（ARA）为学术研究人员提供无限制资金和AWS促销积分，用于多学科研究课题。本期ARA收到全球大量优秀研究提案，现公布73位获奖者名单。
本次奖项涵盖2024年秋季五个研究方向的提案征集：
- AI信息安全
- 自动推理
- AWS人工智能
- AWS密码学
- 可持续技术
提案评审基于科学内容质量及其对研究领域和社会的潜在影响。获奖者可访问700多个某机构公开数据集，通过AWS促销积分使用AI/ML服务和工具，并配备研究联系人提供咨询指导，同时有机会参与技术活动和培训。
技术研究领域详情
AI信息安全
| 研究员 | 院校 | 研究主题 |
|---|---|---|
| Christopher Amato | 东北大学 | 基于多智能体强化学习的云计算平台安全防御 |
| Bernd Bischl | 慕尼黑大学 | 通过不确定性感知提升生成模型和基础模型可靠性 |
| Shiqing Ma | 马萨诸塞大学 | 基于LLM和领域自适应的攻击检测 |
| Alina Oprea | 东北大学 | 多智能体强化学习网络安全防御 |
| Roberto Perdisci | 佐治亚大学 | 上下文异常检测基准测试套件 |
自动推理
涵盖26个研究项目，重点包括：
- LLM增强的半自动化交互式验证证明
- 强化学习中的认证归纳泛化
- 密码系统可证明隐私的自动推理工具
- 基于最小权限原则的访问控制策略自动生成工具
- Dafny语言的交互式证明模式
- 基础设施即代码的多语言自动程序修复
- 基于冲突模型的证明搜索蒙特卡洛树
- 神经软件验证方法
- 符号位向量简化合成技术
- 未修改系统软件的安全属性形式化验证扩展
AWS人工智能
涵盖25个研究项目，重点包括：
- 欺诈评论对推荐系统影响的生成式AI解决方案
- LLM模型全图优化的可微分ML编译器
- 闭环生成式机器学习酶发现优化
- LLM多轮交互安全性与实用性研究
- 多智能体系统时空拓扑设计与KV缓存共享
- 扩散模型可证明加速技术
- 长视频与语言对齐的世界模型构建
- 多智能体LLM责任市场设计
- 高维人类对齐不确定性量化
- Trainium芯片的LLM服务内核生成优化
- 上下文赌博机中的选择公平性与多样性优化
- LLM对齐的最优正则化方法
- 智能设计代理编程的硬件优化验证
- AI代理自治治理工具开发
- 大语言模型和多模态模型的高效测试时对齐
- AI驱动的量子电路优化与降噪器
AWS密码学
涵盖13个研究项目，重点包括：
- 可搜索加密协议的信息泄漏量化
- 轻量级Ascon设计的系统化分析
- 西蒙斯计算理论研究所的密码学研究计划
- 群组消息加密聊天分析
- 基于LPN的大规模多方静默预处理
- 二进制密码程序侧信道防护措施的自动验证
- 第三代全同态加密与自举技术实践
- GPU扩展的全同态加密LLM实现
- 量子计算机因数分解能力研究
- 同态加密的快速私有信息检索技术
可持续技术
涵盖4个研究项目：
- 基于遥感监测的森林生物多样性维护框架
- 基础模型赋能的地球生态系统监测
- 助力工程师制作可持续硬件的AI工具
- 结果驱动的遥感监测新框架
技术合作机制
获奖研究者将：
- 获得无限制研究资金和云计算资源支持
- 访问某机构700多个公开数据集
- 使用AWS AI/ML全套服务工具
- 获得某机构技术专家的定期咨询指导
- 参与全球技术交流活动和专业培训
研究项目鼓励发表研究成果、开源代码共享，并通过实际应用产生社会影响。某机构全年持续接收各技术领域的研究提案，研究人员可通过官方渠道获取最新征集信息。