Towards a Certified Proof Checker for Deep Neural Network Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz. Towards a Certified Proof Checker for Deep Neural Network Verification. In Robert Glück, Bishoksan Kafle, editors, Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Volume 14330 of Lecture Notes in Computer Science, pages 198-209, Springer, 2023. [doi]

This author has not been identified. Look up 'Remi Desmartin' in GoogleThis author has not been identified. Look up 'Omri Isac' in GoogleThis author has not been identified. Look up 'Grant O. Passmore' in GoogleThis author has not been identified. Look up 'Kathrin Stark' in GoogleThis author has not been identified. Look up 'Ekaterina Komendantskaya' in GoogleThis author has not been identified. Look up 'Guy Katz' in Google

runs on WebDSL