論理法則の妥当性をめぐる哲学的・論理学的問いから、AIの推論の正しさを問う深層学習的視点まで、幅広く関心を持っています。特に最近は、厳密性と説明可能性を併せ持つ証明のあり方を、伝統的な証明論と現代の言語モデル研究を融合させた手法で探求しています。