人工智能、精益管理与形式化验证的未来，由精益管理领域的专家Leo de Moura分享
HN Ÿ 8 · 0 评论
-
-
僵尸属性数据：AI所引用的数字来自何处
HN ⭐ 100 · 51条评论
-
混合人工智能模式：将语言模型与规则结合的十三种方式，以及如何在这些模式中做出选择
作者：Siegfried Handschuh、Götz-Henrik Wiegand、Lorena Raichle | 语言模型能够很好地处理文本数据，而规则引擎则能够给出带有证明的结论。将这两种技术结合起来的系统通常可以通过实例来描述。同样的耦合方式在不同的代理框架、安全工具包以及神经符号研究领域中也存在。本文档定义了十三种将语言模型与可执行规则语言相结合
-
AI宇宙：一种适用于情境学习的智能代理系统
作者：AI Cosmos团队，周金锋，陈宇轩 | 大型语言模型在学习过程中确实能够提升任务表现，但这些提升并不一定能反映学习者之后独立应用所学知识的能力。我们提出了AI Cosmos这一面向情境学习的智能基础设施，该框架基于两个互补的原则来组织学习过程：基于场景的参与以及实践的累积成果。AI Cosmos
-
从单一数值中获取廉价的数据提取与观察信息：信息的价值
作者：Daniel Strauss、Nikolaos Sotirakis、Zhenshan Bing | 在强化学习中，记忆机制面临着两个问题。首先，注意力需要通过评估整个存储库中的信息来找到相关的项目，这对于在延迟和能量限制下的机器人来说是非常耗费资源的操作。其次，当某个记忆被重新激活时，获取该记忆的奖励必须贯穿整个序列。我们认为，这两个问题都可以用一个量
-
HEMO：实现多目标组合优化中的自我进化机制
作者：Jianghan Zhu, Cong Zhang, Ni Zhang 自动算子设计（AOD）越来越多地采用大型语言模型来生成适用于多目标组合优化问题的特定搜索算子及变异算子。然而，大多数方法在演化算子时，并未对发现算子的过程进行相应调整。这限制了算法的适应性，因为随着新的帕累托最优解以及算子之间的相互作用发生变化，搜索策略也需要进行相应的调整。
-
国际棋联：基于光纤技术的可微分实验设计，用于研究相对法则的动态行为
作者：Pietro Zanotta, Ján Drgoňa | 通常，聚合测量方法会导致所研究的种群规律缺乏明确的界定。因此，不同的测量系统同样适用于科学研究，但同时也会对不同规律的各个方面产生不同的影响。我们研究如何在保持原有模型的基础上解决这一剩余的设计自由度问题，即如何让现有的动态模型继续作为工作基础，而不需要明确指定各个量的具体数值。
-
人类与人工智能的互动作为一类一級数据：一种正式的互动模型以及用于实现可解释性人工智能协作的运行时机制
作者：Michela Taufer, Kin Ng, Ian Lumsden | 人工智能助手越来越被应用于计算笔记本、科学工作流程、软件工程工具以及学习系统中。然而，人类与人工智能的互动往往只是短暂的、基于提示的交流，而非可持续的数据产品。这阻碍了系统的可复现性、可解释性、重放功能、行为分析以及自适应型人工智能的支持。我们认为，这种互动方式构成了一种新的数
-
高效学习机制设计与复合性问题的方法
作者：João Pedro Gandarela, Thiago Rios, Stefan Menzel | 要理解机械装置的运作机制，就需要了解各个部件是如何共同制约运动的。我们研究了使用可重复使用的约束组件是否能提升有限数据下的预测能力。Assur-KB通过不可约模块、边界接口以及解决依赖关系来表示平面机械装置的结构，同时保留原始几何形状。我们的理论研究结
-
VLA信托应保留多少合理的理由？作为衡量行动价值的指导准则
作者：Dabin Seo, Eunhyek Joa | 推理-视语-行动（VLA）机制会生成一条推理路径，然后从中解码出相应的动作。如果推理路径有误，那么生成的动作也会出错；即便路径看起来正确，也可能误导后续的决策过程。目前的方法都是判断推理是否正确，而我们则试图确定这种推理应该具有多强的指导能力。CoC-CFG机制实现了一种无需分类器的引导方式，即让策略的
-
通过超参数优化提升心房颤动的检测能力
作者：Sara Gjorgjieva, Ilinka Ivanoska, Marjan Gusev | 本研究探讨了超参数优化技术在提升心房颤动检测效果中的作用，同时运用了机器学习和深度学习方法。我们测试了多种标准分类器，如决策树、随机森林和XGBoost分类器，同时还使用了递归神经网络、深度神经网络以及孪生神经网络等深度学习架构。
-
一种基于物理信息的、具有不确定性感知功能的$p$-$n$结二极管的替代模型
作者：Suchita Kulkarni | 我们开发了一种考虑不确定性的物理关联替代模型，用于描述一维的$p$-$n$结二极管。该模型基于器件的尺寸、掺杂程度以及偏压等因素进行建模。通过利用该替代模型所预测的器件内部状态，我们构建了一组有用的测试指标，包括端电流、耗尽宽度、场强以及存储电荷等参数。这种模型形式及所使用的指标可以被进一步扩展应用。
-
Gemini 4 Carbon是人工智能分析指数v5中的新榜首产品。
HN ⭐ 315 · 235条评论
-
克劳德·科德伯恩斯会在一条三个单词的状态信息中消耗掉你大约15-20%的代币。
HN ⭐ 159条评论
-
MicroZig采用严格的禁止使用大型语言模型/人工智能系统的政策
HN ⭐ 9条评论
-
《纽约时报》在其烹饪应用上增加了更多人工智能功能。不过，用户对此并不满意。
HN ⭐ 16 · 8条评论
-
有消息称，有4.1万名国土安全部门工作人员的身份被泄露了，其中包括一些从事秘密工作的移民与海关执法局人员。
HN ⭐ 271 · 129条评论