formal-reasoning

文章认为自回归语言模型无法真正理解形式数学，需要验证方法，并引用了诸如Aleph等依赖严格数学证明的系统。

本文介绍了一套用于法律AI的相关性敏感评估套件，表明LLM对法律无关的扰动过于敏感，并提出LexGuard，一个基于形式推理的对抗性多代理框架，以提高法律推理的可靠性。

Aleph 是一个新型形式化推理AI系统，在主要基准测试中领先，证实了 Yann LeCun 对基于能量模型（EBM）的AI推理的强调。