Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery
Under review
Authors:
Citation (IEEE format): S. R. Raiyan, M. Kabir, H. Mahmud, M. K. Hasan and S. Ananiadou, "Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery," arXiv preprint arXiv:2606.08728, 2026.
arXiv PDF Code/Data@article{raiyan2026artificial,
title={Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery},
author={Raiyan, Syed Rifat and Kabir, Mohsinul and Mahmud, Hasan and Hasan, Md Kamrul and Ananiadou, Sophia},
journal={arXiv preprint arXiv:2606.08728},
year={2026}
}







OpenReview