Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2105.07776
Cited By
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
17 May 2021
Julien Girard-Satabin
Aymeric Varasse
Marc Schoenauer
Guillaume Charpiat
Zakaria Chihani
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification"
1 / 1 papers shown
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees
Feisi Fu
Wenchao Li
KELM
AAML
255
30
0
14 Oct 2021
1
