Imandra Inc.

伊曼德拉(Imandra)是一套基于突破性自动化推理和正式核查技术的人工智能工具。 你创造的算法是安全、可解释和公平的。 从金融基础设施到自主工作流程,我们使大赦国际能够理解、核实和证明系统的真实行为。 它建造和运行。 Imandra CodeLogician 更新了用于代理编码的Imandra 代码。 学习将严格的逻辑逻辑逻辑推理 引入您的氛围编码 如何正式解释理由 扩展软件分析的LLM能力 我们引入了一个基准 以数学为目标 关于实际软件逻辑的推理,填补理论验证与传统软件工程任务之间的差距。 结果显示,只使用LLM方法的根本局限性:尽管对代码有强烈的理解,但是它们没有详尽地说明方案行为、边缘案例和异常情况。 锡离边界 该基准利用国家空间自动分解得出的正式界定的地面真相,可对推理质量进行准确和可复制的评价。 在所有经过测试的模型中,通过代码Logician公司的正式推理来增加LLMs, 关闭41-47个百分点...