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