LeCates, H., & Wu, H. (2026). The Luna Bound Propagator for Formal Analysis of Neural Networks.
Chicago Style (17th ed.) CitationLeCates, Henry, and Haoze Wu. The Luna Bound Propagator for Formal Analysis of Neural Networks. 2026.
MLA (9th ed.) CitationLeCates, Henry, and Haoze Wu. The Luna Bound Propagator for Formal Analysis of Neural Networks. 2026.
Warning: These citations may not always be 100% accurate.