神经网络可证明地学习群组合的谱表示 · AI HOT