Zain ul Abdeen

Learning Neural Networks under Input-Output Specifications

2022 · arXiv (Cornell University)

In this paper, we examine an important problem of learning neural networks that certifiably meet certain specifications on input-output behaviors. Our strategy is to find an inner approximation of the set of admissible policy parameters, …