GEqO: 机器学习加速的语义等价检测

GEqO是一种便携且轻量级的基于机器学习的框架，能够识别语义上等价的计算。它通过引入过滤器、学习反馈环路和智能采样机制来改进模型，并通过数据库无关特征化方法在不同负载和数据库之间进行知识转移。实证评估结果显示，GEqO比自动验证器快200倍，并且比优化器和基于签名的等价性检测方法多找到2倍的等价性。