TY - RPRT TI - Using Large Language Models to Study Mathematical Practice AU - William D'Alessandro PY - 2025 UR - https://arxiv.org/abs/2507.02873 ID - 2507.02873 ER -