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. Jurnal Pembelajaran, Bimbingan, dan Pengelolaan Pendidikan, [S. l.], v. 7, n. 4, p. 11, 2026. DOI: 10.17977/um065.v7.i4.2027.11. Disponível em: https://journal3.um.ac.id/index.php/fip/article/view/9009. Acesso em: 9 nov. 2026.