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