Softmax Function in Transformers