“GPT: A Tutor for Geometry Proving” (2017) International Conference on Computers in Education [Preprint]. Available at: https://library.apsce.net/index.php/ICCE/article/view/2223 (Accessed: 16 August 2025).