详细内容或原文请订阅后点击阅览
AIHUB月摘要：2025年4月 - 将Genai与技术标准结合，ML应用于半导体制造和社会选择问题
欢迎来到我们的每月摘要，您可以在这里赶上您可能错过的任何AIHUB故事，仔细阅读最新消息，回顾最近的事件等等。本月，我们发现有关将生成AI与技术标准保持一致，了解如何将机器学习应用于半导体制造，调查社会选择问题并听到[…]
来源:ΑΙhub欢迎来到我们的每月摘要，您可以在这里赶上您可能错过的任何AIHUB故事，仔细阅读最新消息，回顾最近的事件等等。本月，我们了解了将生成AI与技术标准保持一致，了解如何将机器学习应用于半导体制造，调查社会选择问题以及了解AI歌曲竞赛的回归。
访谈约瑟夫·马文帝国（Joseph Marvin Imperial）：将生成AI与技术标准保持一致
我们继续在与约瑟夫·马文·帝国（Joseph Marvin Imperial）的采访中与AAAI/SIGAI博士联盟参与者会面。约瑟夫（Joseph）位于巴斯大学（University of Bath），重点是将生成AI与法规和运营合规性技术标准保持一致。
系列 AAAI/SIGAI博士联盟 对约瑟夫·马文·帝国的采访采访AminaMević：适用于半导体制造的机器学习
AminaMević是另一个AAAI/SIGAI博士联盟参与者，在机器学习，物理，数学和半导体技术的交集工作。她的研究还结合了心理学和道德的要素。她告诉我们她到目前为止她的博士学位研究，什么使这个领域如此有趣，以及她如何找到AAAI博士联盟的经验。
她告诉我们在对抗攻击下，可证明机器学习模型的安全认证
在他们的工作中：在AAAI 2025年提出的对抗性攻击下，可证明是安全的机器学习模型认证，陈Feng，陈芬，Ziquan liu，Zhuo Zhi，Zhuo Zhi，iLija Bogunovic，Carsten Gerner-Beuerle和Miguel Rodrigues和Miguel Rodrigues开发了一种新的进攻方式，以确认型号的绩效模型 - 在机器学习中的新方法。在这里，陈告诉我们更多有关他们的方法论，主要发现以及这项工作的含义。
Prosac：在对抗攻击下可证明机器学习模型的安全认证 在这里，陈告诉我们更多 宣布了一场比赛