The Luna Bound Propagator for Formal Analysis of Neural Networks

Published in International Static Analysis Symposium (SAS'26), 2026