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