GPT: A Tutor for Geometry Proving. ICCE. Published online December 4, 2017. Accessed November 23, 2025. https://library.apsce.net/index.php/ICCE/article/view/2223