/
自动推理 关键字列表
Imandra 新推出的 AI 编程助手 CodeLogician 利用"推理能力"确保代码准确性
Imandra 公司推出全新的自动推理系统 CodeLogician，这是一款基于神经符号 AI 的代码编程助手。不同于 GitHub Copilot 等传统代码补全工具，CodeLogician 能够对生成的代码进行推理验证，大幅降低"幻觉"和错误的发生。该系统由 ImandraX 引擎驱动，可自动将代码转换为数学模型进行分析，并生成测试用例证明代码的准确性。
从数学到云：亚马逊云科技如何通过自动推理提升系统安全与性能
在亚马逊云科技，自动推理以及提供了严密的安全保障，让服务如同自然法则般可靠且可控，为客户带来前所未有的信任体验。
白皮书
京公网安备 11010802021500号
