Geometric Path Enumeration for Equivalence Verification of Neural Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz. Geometric Path Enumeration for Equivalence Verification of Neural Networks. In 33rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2021, Washington, DC, USA, November 1-3, 2021. pages 200-208, IEEE, 2021. [doi]

This author has not been identified. Look up 'Samuel Teuber' in GoogleThis author has not been identified. Look up 'Marko Kleine Büning' in GoogleThis author has not been identified. Look up 'Philipp Kern' in GoogleThis author has not been identified. Look up 'Carsten Sinz' in Google

runs on WebDSL