Verifying Recurrent Neural Networks Using Invariant Inference

DOI10.1007/978-3-030-59152-6_3MaRDI QIDQ6485856

Clark Barrett, Unnamed Author, Guy Katz

Publication date: 22 December 2022

Published in: 1517.68241 (Search for Journal in Brave)

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Verifying Recurrent Neural Networks Using Invariant Inference