TY - 计算机科学与探索 A1 - 梁佳利, 华保健, 吕雅帅, 苏振宇 T1 - 面向深度学习算子的循环不变式外提算法 Y1 - 2023-01-01 JF - 计算机科学与探索 JO - 计算机科学与探索 SP - 127 EP - 139 VL - 17 IS - 1 UR - http://fcst.ceaj.org N1 - 10.3778/j.issn.1673-9418.2107046 ER -