A Survey of Deep Learning for Mathematical Reasoning — Pan Lu, Liang Qiu, Wenhao
Yu, Sean Welleck, Kai-Wei Chang. Looks at how deep learning models are used for
reasoning with mathematics—proofs, problem solving, etc.
arXiv
Mathematical Language Models: A Survey — Wentao Liu, Hanglei Hu, Jie Zhou, Yuyang
Ding, Junsong Li, Jiayi Zeng, Mengliang He, Qin Chen, Bo Jiang, Aimin Zhou, Liang
He. Focus on how large language models are applied to mathematics tasks, datasets,
benchmarks, and challenges.
arXiv
Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI —
Shizhe Liang, Wei Zhang, Tianyang Zhong, Tianming Liu. Covers how AI is
contributing to mathematical research and creativity, and vice versa.
aXi
A Survey of Local–Global Methods for Hilbert’s Tenth Problem — Anscombe, S.;
Karemaker, V.; Kisakürek, Z.; Mehmeti, V.; Pagano, M.; Paladino, L. Looks at
methods relating to one of Hilbert’s famous problems (decidability of Diophantine
equations) via local-global techniques.
SpringerLink
Recent Advances in Mathematical Aspects of Engineering — Ellahi, R.; Sait, S.M.;
Xu, H. This review links mathematical theory to engineering applications, symmetry,
modelling etc.
MDPI
Recent Advances in Industrial and Applied Mathematics — Eds.: Tomás Chacón Rebollo,
Rosa Donat, Inmaculada Higueras. A collected volume with articles on applied
mathematics, computational methods, numerical analysis, modelling, etc.
SpringerLink
Recent preprints from the arXiv mathematics “new submissions” listing (for
example):
An optimal class of domains permitting inner boundaries in a divergence theorem for
rough integrands. (PDE / analysis)
arXiv
Crossing numbers of dense graphs on surfaces. (Combinatorics / geometry / topology)
arXiv