@article{Wang_2026, title={Reasoning step by step via a neural-symbolic geometry problem solver}, volume={171}, ISSN={0031-3203}, url={http://dx.doi.org/10.1016/j.patcog.2025.112261}, DOI={10.1016/j.patcog.2025.112261}, journal={Pattern Recognition}, publisher={Elsevier BV}, author={Wang, Yaxian and Wei, Bifan and Ma, Yinghong and Jiang, Xudong and Ding, Henghui and Cai, Zhongmin and Liu, Jun}, year={2026}, month=Mar, pages={112261} }