GPT: A Tutor for Geometry Proving. - Roscoe Nealle Alicbusan; Laurence Nicholas Foz; Paolo Vittorio Merle; Ethel Chua Joy Ong; Minie Rose Caramoan Lapinid (ICCE, 2017)