The Luna Bound Propagator for Formal Analysis of Neural Networks

Researchers have introduced Luna, a C++ implementation of the alpha-CROWN neural network verification method. Luna provides competitive performance with existing Python implementations while offering better integration capabilities for production systems and DNN verifiers.