大規模言語モデルは、与えられた指示に従って安全で正確なコンテンツを生成することが期待されているが、実際にはしばしば規則に従うことができない。本研究では、大規模言語モデルの規則に基づく推論を意図的に回避する方法を理論的に分析し、実践的な攻撃手法との関連性を示す。
有限オートマトンを用いて大規模言語モデルを宣言的に統合・管理する革新的なアーキテクチャを紹介する。自動化、コミュニケーション、倫理の分野での応用例を示す。
大規模言語モデルの複雑な論理推論能力を、広く利用可能なアルゴリズム問題とそのコードソリューションを活用して強化する新しいアプローチ「LogicPro」を提案する。
ProSLMは、大規模言語モデルの信頼性と説明可能性を向上させるための新しい神経シンボル的フレームワークである。ドメイン固有の知識ベースと論理推論システムを統合し、質問に対する文脈の生成と応答の妥当性検証を行う。
変数X、Y、Z = f(X, Y)からなる3変数システムにおいて、XORゲートが唯一の完全に相乗的なシステムである。
時間的高次グラフから一般化したパターンを学習する帰納論理推論手法を提案する。
HalluVaultは、ロジックプログラミングとメタモーフィックテストを活用して、大規模言語モデルにおける事実矛盾ハルシネーションを自動的に検出する革新的なアプローチである。
投資家は、状態を部分的に明らかにする複数の専門家から、最適な専門家を選択して情報を得る必要がある。専門家の中に状態を完全に明らかにする者がいる場合、コストが十分に低ければ、その専門家を必ず利用する最適戦略が存在する。
Isabelle2Cpp は Isabelle/HOL 仕様から C++ コードを自動生成するフレームワークですが、Isabelle/HOL 仕様に一部の型情報が欠落している場合、Isabelle2Cpp は自動的にコード生成を完了できません。本論文は、Isabelle2Cpp のための型システムを提供し、型推論と型統一を行うことで、より完全かつ正確な C++ コードの生成を可能にします。
ハイブリッド・システムの仕様記述と証明のための一般化されたハイブリッド・ホーア論理を提案する。この論理は、通信と並行性を明示的かつ合成的に扱うことができ、連続的および離散的な相対完全性を持つ。