SymMaP: Improving Computational Efficiency in Linear Solvers through Symbolic Preconditioning - Wang, Hong; Wang, Jie; Ma, Minghao; Shao, Haoran; Liu, Haoyang (Advances in Neural Information Processing Systems, 2025)