FGeo-ISRL: A MCTS-Enhanced Deep Reinforcement Learning System for Plane Geometry Problem-Solving via Inverse Search. - Li, Yang; Zhang, Xiaokai; Qin, Cheng; Hu, Zhengyu; Leng, Tuo (Symmetry (20738994), 2026)