Ariawan, I. P. W.; Candiasa, I. M.; Mertasari, N. M. S.; Divayana, D. G. H.; Sugiarta, I. M. AI-Assisted Socratic Questioning for Formal Proof Competence in Plane Geometry: A Literature Review. JPBPP 2026, 7, 11.