A KAN–UNetFormer framework for river ice extent extraction from landsat satellite imagery on the Tibetan Plateau - Haojie Li; Zhen Liu; Yuzhong Wang; Liankun Huang; Jing Zhang; Donghang Shao; Tianwen Feng; Xiaohua Hao; Jian Wang (Cold Regions Science and Technology, 2026)