Intelligent Control Lab hight=
  • Home
  • Research
  • Publication
  • People
    • Faculty
    • Members
    • Alumni
  • Robots
  • News
  • Contact Us

Preprint "Algorithms for Verifying Deep Neural Networks" available on ArXiv

March 17, 2019

This paper surveys emerging algorithms to verify whether a deep neural network satisfies certain input-output properties. We will present the work at AAAI 2019 Spring Symposium Verification of Neural Networks (VNN19) on March 25, and ICLR 2019 Workshop on Debugging Machine Learning Models (DebugML-19) on May 6.

Next: Webinar "Algorithms for Verifying Deep Neural Networks" available on YouTube

Intelligent Control Lab

Site Map

  • News
  • Professor
  • Current Students
  • Robots
  • Research
  • Publication

Contact

  • Directions
  • Privacy Statement
  • Webmaster

© 2025 Intelligent Control Laboratory of Robotics Institute in School of Computer Science at Carnegie Mellon University