AINeutralarXiv – CS AI · Mar 264/10
🧠
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.
$COMP