TY  - RPRT
TI  - The Luna Bound Propagator for Formal Analysis of Neural Networks
AU  - Henry LeCates
AU  - Haoze Wu
PY  - 2026
UR  - https://arxiv.org/abs/2603.23878
ID  - 2603.23878
ER  -