概念Symbolic Equivalence
符号等价判定
判断两个数学表达式是否在符号层面等价的方法，要求表达式在所有合法输入下产生相同结果且结构上可通过代数变换互相推导，是比数值等价更严格的判定标准
时间轴 (近 90 天)
9月29日
该研究使用符号等价判定作为精确预言机（oracle），判断还原表达式是否与原始表达式在数学上完全等价
待验证50%
9月29日
符号等价可根据评测目的选择'数值等价'或'结构等价'作为判定标准，两种标准的严苛程度不同
待验证50%
9月29日
使用符号等价而非数值计算的优势在于能区分'答案碰巧相同'与'结构被正确还原'两种情况
待验证50%