“GPT: A Tutor for Geometry Proving”, ICCE, Dec. 2017, Accessed: Mar. 05, 2026. [Online]. Available: https://library.apsce.net/index.php/ICCE/article/view/2223