The Luna Bound Propagator for Formal Analysis of Neural Networks

Published in To Appear at the International Static Analysis Symposium (SAS'26), 2026