@misc{indiciaed6775b81ff23,
  title = {Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery},
  author = {Syed Rifat Raiyan and Mohsinul Kabir and Hasan Mahmud and Md Kamrul Hasan and Sophia Ananiadou},
  year = {2026},
  url = {https://arxiv.org/abs/2606.08728},
  note = {Source identifier: 2606.08728}
}