Neural Network Verification with Proof Production
Authors: Omri Isac, Clark Barrett, Min Zhang and Guy Katz
Paper Information
| Title: | Neural Network Verification with Proof Production |
| Authors: | Omri Isac, Clark Barrett, Min Zhang and Guy Katz |
| Proceedings: | FoMLAS2022 CameraReady |
| Editors: | Nina Narodytska, Omri Isac and Guy Katz |
| Keywords: | Formal Verification, Neural Networks, Proof Production |
| Pages: | 14 |
| Talk: | Aug 01 14:00 (Session 34B) |
| Paper: |  |