TY  - RPRT
TI  - Studying proof data with proof theory: the case of AI-generated mathematics
AU  - Safal Raman Aryal
PY  - 2026
UR  - https://arxiv.org/abs/2610.25357
ID  - 2610.25357
ER  -