APA (7th ed.) Citation

LeCates, H., & Wu, H. (2026). The Luna Bound Propagator for Formal Analysis of Neural Networks.

Chicago Style (17th ed.) Citation

LeCates, Henry, and Haoze Wu. The Luna Bound Propagator for Formal Analysis of Neural Networks. 2026.

MLA (9th ed.) Citation

LeCates, Henry, and Haoze Wu. The Luna Bound Propagator for Formal Analysis of Neural Networks. 2026.

Warning: These citations may not always be 100% accurate.