一个有缺陷的符号方程验证数据集
人工智能
2021-05-31 v4 符号计算
摘要
Arabshahi、Singh 与 Anandkumar（2018）提出了一种用于构建符号数学方程数据集的方法，以服务于符号方程验证与方程补全任务。遗憾的是，依其所提方法构建的数据集将存在两个严重缺陷。首先，该过程可生成的真方程类别将非常有限。其次，由于真方程与假方程以完全不同的方式生成，很可能存在可轻易区分的人为特征。此外，在其所考虑的方程类别上，存在一种极简的概率过程能以极高可靠性解决方程验证问题。因此，该问题作为 AI 系统测试基准的效用值得怀疑。
引用
@article{arxiv.2105.11479,
title = {A Flawed Dataset for Symbolic Equation Verification},
author = {Ernest Davis},
journal= {arXiv preprint arXiv:2105.11479},
year = {2021}
}