Smartformer: An intelligent transformer compression framework for time-series modeling. - Wang, Xiaojian; Wang, Yinan; Yang, Jin; Chen, Ying (IISE Transactions, 2025)