PiShield: A NeSy Framework for Learning with Requirements

arXiv:2402.18285v1 Announce Type: new
Abstract: Deep learning models have shown their strengths in various application domains, however, they often struggle to meet safety requirements for their outputs. In this paper, we introduce PiShield, the first framework ever allowing for the integration of the requirements into the neural networks' topology. PiShield guarantees compliance with these requirements, regardless of input. Additionally, it allows for integrating requirements both at inference and/or training time, depending on the practitioners' needs. Given the widespread application of …

abstract application arxiv compliance cs.ai cs.lg cs.lo deep learning domains framework integration networks neural networks paper requirements safety struggle topology type