大規模言語モデルを用いたゲーム記述の自動形式化

大規模言語モデルを用いて、自然言語で記述されたゲーム理論のシナリオを形式的な表現に変換することで、実世界の戦略的相互作用に対する形式的な推論を可能にする。