Ariawan, I.P.W., Candiasa, I.M., Mertasari, N.M.S., Divayana, D.G.H. and Sugiarta, I.M. 2026. AI-assisted Socratic Questioning for Formal Proof Competence in Plane Geometry: A Literature Review. Jurnal Pembelajaran, Bimbingan, dan Pengelolaan Pendidikan. 7, 4 (Oct. 2026), 11. DOI:https://doi.org/10.17977/um065.v7.i4.2027.11.