TY  - RPRT
TI  - Notes on a Path to AI Assistance in Mathematical Reasoning
AU  - Alex Kontorovich
PY  - 2023
UR  - https://arxiv.org/abs/2310.02896
ID  - 2310.02896
ER  -