import re


def convert_arxiv_url(url):
    """
    Converts a URL from
    https://arxiv.org/abs/0000.00000
    to
    https://arxiv.org/pdf/0000.00000.pdf
    """
    return re.sub(r'/abs/', '/pdf/', url) + '.pdf'