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