MarsNet: Automated Rock Segmentation With Transformers for Tianwen-1 Mission | IEEE Journals & Magazine | IEEE Xplore