FlashMask: Efficient and Rich Mask Extension of FlashAttention