Ariawan, I Putu Wisna, I Made Candiasa, Ni Made Sri Mertasari, Dewa Gede Hendra Divayana, and I Made Sugiarta. “AI-Assisted Socratic Questioning for Formal Proof Competence in Plane Geometry: A Literature Review”. Jurnal Pembelajaran, Bimbingan, dan Pengelolaan Pendidikan 7, no. 4 (October 12, 2026): 11. Accessed November 9, 2026. https://journal3.um.ac.id/index.php/fip/article/view/9009.