@inproceedings{lecates2026luna,
 title={The Luna Bound Propagator for Formal Analysis of Neural Networks},
 author={LeCates, Henry and Wu, Haoze},
 booktitle={International Static Analysis Symposium (SAS)},
 year={2026}
}