TY  - RPRT
TI  - Self-Correcting Neural Networks For Safe Classification
AU  - Klas Leino
AU  - Aymeric Fromherz
AU  - Ravi Mangal
AU  - Matt Fredrikson
AU  - Bryan Parno
AU  - Corina Păsăreanu
PY  - 2022
UR  - https://arxiv.org/abs/2107.11445
ID  - 2107.11445
ER  -