タイトルが言うように、どんなポインタも大歓迎です。
私は、数学の文章題を解決する（最初に-構文解析する）という文脈で、ML/NLPの取り組みの観点からどこに立つのかを探っています。
Mathematicaのような、よく定式化された数学方程式を解くことができる十分なソフトウェアがあります。
しかし、自然言語で表現された数学の問題を解くということになると、私は実質的なものを見つけることができませんでした。これにどのように取り組むかを考えると、一種の機械翻訳の問題（英語から数学の方程式への翻訳）と見なされますが、そのための「ラベル付けされた」データはほとんどありません。他のアプローチは、半（または非）sypervised関係抽出である可能性があります。
これらは単なるランダムな考えなので、私はこの方向でいくつかの既存の作品/論文から始めたいと思います。私の他の点ではまともなグーグルスキルは、あまり役に立ちませんでした。
私は、言語を数式に解析する作業を知りません。私が考えることができる最も近いものは、テキストを論理形式に変換することを目標とするセマンティック解析です。これについては監視された試みがありますが、利用可能なラベル付きデータがないと言うのは正しいと思います. 教師なしバリアントも検討できます。
機械翻訳に似ているというあなたの直感は部分的に正しいと思います。実際、アライメント技術は解決策の半分を形成します。残りの半分は、ターゲット言語モデルを置き換えるものです。これは、結果の数式が「整形式」または意味のあるものであるかどうかを判断するため、数学にとって興味深い問題です。
それが何らかの役に立つことを願っています。申し訳ありませんが、あなたの特定の問題について何も指摘できませんでした。
Wolfram|Alpha はこれにある程度対応していますが、どのような論文が彼らの進歩を後押ししているのかはわかりません。ここで確認できます