Tighter Abstract Queries in Neural Network Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz. Tighter Abstract Queries in Neural Network Verification. In Ruzica Piskac, Andrei Voronkov, editors, LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. Volume 94 of EPiC Series in Computing, pages 124-143, EasyChair, 2023. [doi]

This author has not been identified. Look up 'Elazar Cohen' in GoogleThis author has not been identified. Look up 'Yizhak Yisrael Elboher' in GoogleThis author has not been identified. Look up 'Clark W. Barrett' in GoogleThis author has not been identified. Look up 'Guy Katz' in Google

runs on WebDSL