- A Survey of Deep Learning for Mathematical Reasoning [71.9]
我々は過去10年間の数学的推論とディープラーニングの交差点における重要なタスク、データセット、方法についてレビューする。 大規模ニューラルネットワークモデルの最近の進歩は、新しいベンチマークと、数学的推論にディープラーニングを使用する機会を開放している。
論文 参考訳(メタデータ) (Tue, 20 Dec 2022 18:46:16 GMT) - 研究が盛んでぼちぼちできるようになりつつある数学的推論のサーベイ。
- リポジトリはGitHub – lupantech/dl4math: Reading list for research topics in mathematical reasoning and artificial intelligence