“Bridging Verbal Geometry Problems and Formal Proofs: A GeoGebra-Supported Element–Relation Detection Framework”, OLER, vol. 6, no. 1, pp. 227–243, Mar. 2026, doi: 10.58524/oler.v6i1.1225.