/
代码验证 关键字列表
Imandra 新推出的 AI 编程助手 CodeLogician 利用"推理能力"确保代码准确性
Imandra 公司推出全新的自动推理系统 CodeLogician，这是一款基于神经符号 AI 的代码编程助手。不同于 GitHub Copilot 等传统代码补全工具，CodeLogician 能够对生成的代码进行推理验证，大幅降低"幻觉"和错误的发生。该系统由 ImandraX 引擎驱动，可自动将代码转换为数学模型进行分析，并生成测试用例证明代码的准确性。
白皮书
京公网安备 11010802021500号
