Kaiming Huang, Peng Wu, Mahdi Imani, Tian Lan 0001, Gang Tan. Validating Safety Guarantees of LSTM Models in MR Context. In Ashutosh Sabharwal, Srinivas Shakkottai, Ting He, Yin Sun, editors, Proceedings of the Twenty-sixth International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing, MobiHoc 2025, Rice University, Houston, TX, USA, October 27-30, 2025. pages 507-508, ACM, 2025. [doi]
Abstract is missing.