形式論理学に基づく演繹コーパスによる言語モデルに対する演繹推論能力の付与

言語モデルに演繹推論を学習させるための事例からなる演繹コーパスを提案する．先行研究では演繹規則が恣意的に選ばれていた為，演繹推論の核心を捉えられなかった．我々はこれを再考し，形式論理学に基く根拠ある演繹規則群を採用する．実験により，提案コーパスで学習した言語モデルが既存コーパスで学習した言語モデルより頑健な演繹推論能力を持つことを示す．更に後続研究のため，コーパス・学習済みモデル・ソースコードを公開する．