Self-Correcting Neural Networks For Safe Classification
Authors: Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno and Corina Pasareanu
Paper Information
| Title: | Self-Correcting Neural Networks For Safe Classification |
| Authors: | Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno and Corina Pasareanu |
| Proceedings: | FoMLAS2022 CameraReady |
| Editors: | Nina Narodytska, Omri Isac and Guy Katz |
| Keywords: | Safety, Run-time enforcement, Machine Learning, Neural Networks, Verification |
| Pages: | 35 |
| Talk: | Aug 01 16:30 (Session 37B) |
| Paper: |  |