TY  - RPRT
TI  - Advancing Mathematical Research via Human-AI Interactive Theorem Proving
AU  - Chenyi Li
AU  - Zhijian Lai
AU  - Dong An
AU  - Jiang Hu
AU  - Zaiwen Wen
PY  - 2025
UR  - https://arxiv.org/abs/2512.09443
ID  - 2512.09443
ER  -