Recent Articles and Multimedia

    Paper Title: DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting

    READ MORE ABOUT THIS PAPER HERE