I. P. W. Ariawan, I. M. Candiasa, N. M. S. Mertasari, D. G. H. Divayana, and I. M. Sugiarta, “AI-assisted Socratic Questioning for Formal Proof Competence in Plane Geometry: A Literature Review”, JPBPP, vol. 7, no. 4, p. 11, Oct. 2026.