2017. GPT: A Tutor for Geometry Proving. International Conference on Computers in Education. (Dec. 2017).