我是机器学习的新手，我必须以最佳方式解决此问题：一阶定理证明数据集：给定一个定理，预测五个中的哪个当被一阶证明者使用时，启发式方法将给出最快的证明。第六如果定理太难，则预测拒绝尝试证明。[分类]这个问题有：
。这里的图表示具有2个组件的PCA。数据标准化为零均值和单位方差。我正在使用scikit作为ML框架学习
enter image description here
您的模型可能由于许多原因而存在缺陷，并且由于没有可重复的数据样本和模型规范，我只能推测其中一些原因：