Ranked list fusion and re-ranking with pre-trained transformers for ARQMath lab