no code implementations • 23 Feb 2022 • Zain ul Abdeen, He Yin, Vassilis Kekatos, Ming Jin
In this paper, we examine an important problem of learning neural networks that certifiably meet certain specifications on input-output behaviors.