“Bridging Verbal Geometry Problems and Formal Proofs: A GeoGebra-Supported Element–Relation Detection Framework” (2026) Online Learning In Educational Research (OLER), 6(1), pp. 227–243. doi:10.58524/oler.v6i1.1225.