Introducing Luna, a high-performance C++ bound propagator designed to enhance the formal analysis and safety verification of neural networks through advanced...
Level: advanced
By Henry LeCates, Haoze Wu
Category: research