With Formula 1 blueprint, MGI Engineering says it’s revving up to scale drone production
在他们转向为军方生产引人入胜的单向攻击无人机之前，MGI Engineering与一级方程式赛车团队合作，设计和咨询能力。
Boolformer: Symbolic Regression of Logic Functions with Transformers
本文在ICML 2025的第二个AI上接受了数学研讨会。我们介绍了BoolFormer，这是一种基于变压器的模型，该模型训练有素，旨在执行布尔函数的端到端符号回归。首先，我们证明它可以预测鉴于其完整的真相表，可以预测训练期间未见的复杂功能的紧凑型公式。然后，我们证明，即使有不完整或嘈杂的观察，Boolformer仍然能够找到良好的近似表达式。我们在广泛的现实二进制分类数据集上评估了布尔形式，证明了其作为可解释的替代方案的潜力……
«Формула Студент» на «Игоре драйв» примет рекордное число иностранных участников
作为车库节2025节的一部分，所有 - 俄罗斯工程竞赛“ Formula Student”将在列宁格勒地区的Igor Drive Autode举行。今年，预计有创纪录的外国参与者。
AIP Capital, Monroe Capital form leasing JV
AIP Capital（AIP）宣布，已与Monroe Capital成立了一家公司，以收购多元化的飞机租赁投资组合，最高为10亿美元，包括中年飞机[…]
Naval Group launches HS Formion, third Greek FDI
海军集团的地表船造船厂位于法国西部的洛里恩特（Lorient），于2025年5月28日推出了第三台FDI护卫舰“ HS Formion”，该护卫舰旨在为希腊海军提供，并于第二天安装了她的PSIM桅杆。这是自2022年以来发射的第四台FDI型护卫舰。第二届希腊护卫舰八个月后，这是...邮政海军集团推出了HS Formion，第三希腊FDI出现在海军新闻中。
EU Backs Joint Weapon Purchase with Denmark Receiving First Funding
丹麦将获得超过
How Formula 1® uses generative AI to accelerate race-day issue resolution
在这篇文章中，我们解释了F1和AWS如何开发由亚马逊基岩提供动力的根本原因分析（RCA）助理，以减少手动干预并加速在几周到几分钟内的比赛中分辨出复发性的操作问题。 RCA助理使F1团队能够花更多的时间在创新上并改善其服务，最终为粉丝和合作伙伴提供了非凡的体验。 F1和AWS之间的成功合作展示了生成AI在赋予团队能力以更少的时间内完成的变革潜力。
FormulaFeatures: A Tool to Generate Highly Predictive Features for Interpretable Models
使用基于数字特征的算术组合自动设计的简洁、高度预测的特征创建更易于解释的模型在本文中，我们研究了一个名为 FormulaFeatures 的工具。这主要用于可解释模型，例如浅层决策树，其中少量简洁且高度预测的特征可以极大地帮助提高模型的可解释性和准确性。机器学习中的可解释模型本文继续我关于可解释机器学习的系列文章，之前的文章包括 ikNN、加法决策树、遗传决策树和 PRISM 规则。如前几篇文章所述（并在那里更详细地介绍），通常有强烈的动机使用可解释的预测模型：每个预测都可以很好地理解，我们可以确信模型将在未来看不见的数据上表现合理。有许多模型可以提供可解释的 ML，但不幸的是，这些模型比我们
在计算机视觉中，主干架构对于图像识别、对象检测和语义分割任务至关重要。这些主干从图像中提取局部和全局特征，使机器能够理解复杂的模式。传统上，卷积层一直是这些模型的主要组成部分，但最近的进展结合了注意力机制，这增强了模型捕捉的能力。文章 LowFormer：一种高效的视觉主干模型，可在不牺牲准确性的情况下优化移动和边缘设备的吞吐量和延迟，首次出现在 AI Quantum Intelligence 上。
The Weather Company enhances MLOps with Amazon SageMaker, AWS CloudFormation, and Amazon CloudWatch
在本文中，我们分享了 The Weather Company (TWCo) 如何使用 Amazon SageMaker、AWS CloudFormation 和 Amazon CloudWatch 等服务增强其 MLOps 平台的故事。TWCo 数据科学家和 ML 工程师利用自动化、详细的实验跟踪、集成训练和部署管道来帮助有效扩展 MLOps。TWCo 将基础设施管理时间缩短了 90%，同时还将模型部署时间缩短了 20%。
Formic raises $27.4 million to ‘bring automation to more manufacturers’
Formic 是一家为美国制造商提供机器人即服务 (RaaS) 自动化的供应商，该公司在 A 轮融资中又筹集了 2740 万美元，由 Blackhorn Ventures 领投，三菱 HC Capital America、NEC、Translink Capital、Alumni Ventures、FJ Labs、Lux Capital、Initialized Capital 和 Lorimer Ventures 参投。这笔新资金使 A 轮融资总额达到更多[…]
President Issues Pardon for Certain Former Service Members
乔·拜登总统发布公告，对军事法庭根据《统一军事法典》第 125 条定罪的人给予全面、彻底和无条件的赦免，该定罪涉及与 18 岁或以上人士的自愿、私人行为。
Formic Raises $27.4 Million to Bring Automation to More Manufacturers
机器人即服务提供商消除了制造商的资本支出和劳动力挑战，从而能够更快地提高产能和增长
Five Great Microsoft Forms Features for Teachers
大多数时候，我更喜欢 Google Workspace 工具，而不是 Microsoft 的同类工具。这条规则有一个例外。那个例外就是表格。在制作和发布在线表单方面，Microsoft Forms 比 Google Forms 具有更多我喜欢的功能。例如，Microsoft Forms 中新的实时演示模式与 Google Forms 中提供的完全不同。Microsoft Forms 的其他方面我也很喜欢，但 Google Forms 却无法与之媲美。这些功能在下面嵌入的新视频中进行了演示。1. 将文档转换为表单。2. 实时模式3. 计时器4. 开始和结束日期5. 背景音乐视频 - 我最喜欢的
Requesting Military Records Including DD Form-214
美国武装部队为每位退伍军人和现役军人保留一份官方军事人员档案 (OMPF)。如果您是退伍军人或陆军、海军、海军陆战队或空军的成员，并且正在担任现役、预备役或警卫，或者如果您已经退休，您可以使用国防人员记录信息检索系统页面milConnect 网站请求
