Ariawan, I Putu Wisna, I Made Candiasa, Ni Made Sri Mertasari, Dewa Gede Hendra Divayana, and I Made Sugiarta. 2026. “AI-Assisted Socratic Questioning for Formal Proof Competence in Plane Geometry: A Literature Review”. Jurnal Pembelajaran, Bimbingan, Dan Pengelolaan Pendidikan 7 (4):11. https://doi.org/10.17977/um065.v7.i4.2027.11.