Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2009.10610
Cited By
Property-Directed Verification of Recurrent Neural Networks
22 September 2020
I. Khmelnitsky
Daniel Neider
Rajarshi Roy
Benoît Barbot
B. Bollig
Alain Finkel
S. Haddad
M. Leucker
Lina Ye
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Property-Directed Verification of Recurrent Neural Networks"
1 / 1 papers shown
Title
Scalable Polyhedral Verification of Recurrent Neural Networks
Wonryong Ryou
Jiayu Chen
Mislav Balunović
Gagandeep Singh
Andrei Dan
Martin Vechev
89
31
0
27 May 2020
1
