Dynamically Pruning Segformer for Efficient Semantic Segmentation | IEEE Conference Publication | IEEE Xplore