RNNRepair: Automatic RNN Repair via model-based analysis

by XIE, Xiaofei, GUO, Wenbo, MA, Lei, LE, Wei, WANG, Jian, ZHOU, Lingjun, LIU, Yang, XING, Xinyu
Published 2021