状态: 实验性图推理证据、审计与回放
图推理运行时
一个实验性推理运行时,分离规划器、事务日志与证据账本,并在结构化领域知识上强制约束。
摘要
我们正在构建一个推理运行时原型,将规划与执行分离:规划器提出步骤,事务日志记录步骤,证据账本在中间状态旁保留支撑材料。领域包提供结构化知识与约束。目标是可复现、可检视的推理;这是一个早期实验系统,并非产品。
问题与动机
自由形式的 LLM 推理难以复现或审计:中间步骤未以结构化、可回放的方式记录,领域约束的施加也不一致。
研究问题
- 将规划与事务日志分离,能否提升多步推理的可复现性?
- 能否在不无益地坍缩推理空间的前提下强制领域约束?
方法
- 实现规划器 / 事务日志 / 证据账本的分离。
- 以显式约束编码领域包。
- 回放已记录的运行以测试确定性。
局限
- 实验性质;接口与结果不稳定,可能发生重大变化。
- 不作性能主张;尚未运行任何外部基准。
披露
- 资助
- 基础设施支持由 Octopus Core Pty Ltd 提供。
- 利益冲突
- 未就该实验性方向识别出特定的商业利益冲突。