/
自动推理 关键字列表
学术与产业协作为亚马逊客户提供真实世界安全保障
亚马逊科学家拜伦·库克与斯坦福大学教授克拉克·巴雷特的合作，推动了开源软件工具cvc5的开发。该工具运用形式化方法和自动推理技术，能够检测代码中的逻辑错误。目前cvc5已应用于亚马逊Bedrock的自动推理检查、IAM访问分析器等服务中，每天处理约10亿次求解调用，为AWS客户提升了安全性、可靠性和持久性。
AWS神经符号AI有望解决监管行业智能体安全问题
AWS将自动推理检查功能正式推向市场，旨在为企业和监管行业提供更安全、可解释的AI应用部署。该功能利用数学验证方法确定真实性，能够验证AI响应准确性并检测模型幻觉问题，声称可捕获近100%的幻觉现象。神经符号AI结合了神经网络的模式识别与符号AI的逻辑推理，通过数学证明方法解决企业对生成式AI不确定性的担忧，为金融审计等应用场景提供可验证的正确性保障。
Imandra 新推出的 AI 编程助手 CodeLogician 利用"推理能力"确保代码准确性
Imandra 公司推出全新的自动推理系统 CodeLogician，这是一款基于神经符号 AI 的代码编程助手。不同于 GitHub Copilot 等传统代码补全工具，CodeLogician 能够对生成的代码进行推理验证，大幅降低"幻觉"和错误的发生。该系统由 ImandraX 引擎驱动，可自动将代码转换为数学模型进行分析，并生成测试用例证明代码的准确性。
从数学到云：亚马逊云科技如何通过自动推理提升系统安全与性能
在亚马逊云科技，自动推理以及提供了严密的安全保障，让服务如同自然法则般可靠且可控，为客户带来前所未有的信任体验。
白皮书
京公网安备 11010802021500号
