Ariawan IPW, Candiasa IM, Mertasari NMS, Divayana DGH, Sugiarta IM. AI-assisted Socratic Questioning for Formal Proof Competence in Plane Geometry: A Literature Review. JPBPP [Internet]. 2026 Oct. 12 [cited 2026 Nov. 9];7(4):11. Available from: https://journal3.um.ac.id/index.php/fip/article/view/9009