TY  - RPRT
TI  - Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery
AU  - Syed Rifat Raiyan
AU  - Mohsinul Kabir
AU  - Hasan Mahmud
AU  - Md Kamrul Hasan
AU  - Sophia Ananiadou
PY  - 2026
UR  - https://arxiv.org/abs/2606.08728
ID  - 2606.08728
ER  -