著者は、2つの命題間の矛盾を検出するための推論システムの研究設計を提案しています。これは、直接のLLM判断に依存するのではなく、それらをより小さなコンポーネントに分解し、論理的な衝突を検索することによって行われます。

  • システムは、限られた生成予算の下で効率を向上させるために、確率的探索と形式検証を分離します。
  • 命題の識別は、含意関係を使用して、異なる論理構造にわたって対応するコンテンツをマッピングします。
  • 衝突探索戦略は、無向探索よりも効率的に、同じ主題の正形と負形を見つけることを目的としています。
  • 初期実装は命題論理を対象としており、CONTRADICTION、CONSISTENT、またはUNKNOWNを出力します。

著者は、この仮説の実装やテストを支援するための議論、批評、代替アプローチ、および共同研究者を求めています。