实体
Cornus
Cornus
PulseAugur coverage of Cornus — every cluster mentioning Cornus across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
AWS博客详细介绍使用反统一对形式化策略进行语义差异化
一个新开源引擎利用反统一对形式化策略进行语义差异化，识别不同策略版本之间的共性和分歧。这种方法在AWS机器学习博客文章中有所详述，它超越了文本差异，突出了含义的变化，有助于自动形式化等任务，在这些任务中，LLM可能会产生不同的输出。该引擎与e-graphs和代数定律协同工作，以查找共享模式和特定差异，提供比传统方法更具信息量的比较。
-
Amazon Bedrock AgentCore 为 AI 代理添加了自然语言策略编写功能
Amazon Bedrock AgentCore 为其策略编写工具引入了新功能，允许用户将自然语言策略规范转换为 Dogwood 治理语言。此功能有助于对 AI 代理强制执行组织策略和监管限制，包括工具调用的时间顺序和顺序，以及对输入参数的限制。该系统与 Amazon Bedrock Guardrails 集成以检测不当内容，并使用从代理工具清单派生的模式来精确应用策略。
-
特朗普 FCC 取消电视所有权上限；Amazon Bedrock 增加 AI 代理控制
特朗普任命的联邦通信委员会 (FCC) 已取消了美国国会先前设定的全国电视所有权上限。此举预计将使“与特朗普结盟的亿万富翁”能够收购更多电视频台。与此同时，Amazon Bedrock AgentCore 推出了新功能，包括由 Dogwood 提供支持的时间策略和网关上的速率限制，以增强对 AI 代理行为和成本的控制。