TY - RPRT TI - Large Language Models for Mathematicians AU - Simon Frieder AU - Julius Berner AU - Philipp Petersen AU - Thomas Lukasiewicz PY - 2024 UR - https://arxiv.org/abs/2312.04556 ID - 2312.04556 ER -