Aug, 2018

语义解析的瓶颈:自动数学题解决方案的调查

TL;DR该研究探讨了自动解决数学问题的挑战,包括语言和逻辑之间的语义鸿沟,综述了将人工智能用于代数和几何问题的主要技术及其性能,并探讨未来的研究方向。