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