Sign In
insight - ロジックと形式手法
時間的帰納論理推論による高次グラフの分析
時間的高次グラフから一般化したパターンを学習する帰納論理推論手法を提案する。
大規模言語モデルにおける事実矛盾ハルシネーションの検出のための新しいロジックプログラミングベースのメタモーフィックテストフレームワーク「HalluVault」
HalluVaultは、ロジックプログラミングとメタモーフィックテストを活用して、大規模言語モデルにおける事実矛盾ハルシネーションを自動的に検出する革新的なアプローチである。
投資問題における最適な専門家の選択
投資家は、状態を部分的に明らかにする複数の専門家から、最適な専門家を選択して情報を得る必要がある。専門家の中に状態を完全に明らかにする者がいる場合、コストが十分に低ければ、その専門家を必ず利用する最適戦略が存在する。
Isabelle2Cpp における型推論
Isabelle2Cpp は Isabelle/HOL 仕様から C++ コードを自動生成するフレームワークですが、Isabelle/HOL 仕様に一部の型情報が欠落している場合、Isabelle2Cpp は自動的にコード生成を完了できません。本論文は、Isabelle2Cpp のための型システムを提供し、型推論と型統一を行うことで、より完全かつ正確な C++ コードの生成を可能にします。
ハイブリッド・ホーア論理の一般化
ハイブリッド・システムの仕様記述と証明のための一般化されたハイブリッド・ホーア論理を提案する。この論理は、通信と並行性を明示的かつ合成的に扱うことができ、連続的および離散的な相対完全性を持つ。
Products | Resources
© 2024 by Linnk AI