“GPT: A Tutor for Geometry Proving”. 2017. International Conference on Computers in Education, December. https://library.apsce.net/index.php/ICCE/article/view/2223.