The Luna Bound Propagator for Formal Analysis of Neural Networks

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