Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1908.06223
Cited By
v1
v2 (latest)
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks
17 August 2019
Matthew Sotoudeh
Aditya V. Thakur
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks"
2 / 2 papers shown
On Neural Network Equivalence Checking using SMT Solvers
International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2022
Charis Eleftheriadis
Nikolaos Kekatos
Panagiotis Katsaros
S. Tripakis
AAML
218
17
0
22 Mar 2022
Safe AI -- How is this Possible?
Harald Ruess
Simon Burton
290
0
0
25 Jan 2022
1
Page 1 of 1
