DiffRNN: differential verification of recurrent neural networks. (English) Zbl 07498004
Dima, Catalin (ed.) et al., Formal modeling and analysis of timed systems. 19th international conference, FORMATS 2021, Paris, France, August 24–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12860, 117-134 (2021).
MSC:
68Qxx