私たちは、与えられた予想を証明するために関連する数学的命題を選択する問題に対する深層学習ベースのアプローチを提案します。高階論理式を変数の名前付けに不変でありながら、文法的および意味的な情報を完全に保つグラフとして表現します。次に、エッジの順序情報を保つ新しい埋め込み手法を使用して、このグラフをベクトルに埋め込みます。当アプローチはHolStepデータセットにおいて最先端の結果を達成し、分類精度を83%から90.3%に向上させました。