Article 5

LLM 评论家表现出非确定性行为，但通过基于代码的契约维护安全性

一个用于计划评估的 LLM 评论家表现出非确定性行为，在多次运行中对相同的输入返回不同的判决和推理。尽管存在这种不一致性，该系统通过采用确定性门和强制执行特定阻止标准的 frozenset 来维护安全性。这种架构确保了，虽然 LLM 的判断可能有所不同，但关键的安全故障是通过基于代码的验证来防止的，而不是仅仅依赖 LLM 的输出。