GPT: A Tutor for Geometry Proving.

Roscoe Nealle Alicbusan, Laurence Nicholas Foz, Paolo Vittorio Merle, Ethel Chua Joy Ong, Minie Rose Caramoan Lapinid

Browse the full ICCE paper archive.