Extraction of structured logic forms from geometry problem descriptions. - Archana Narayandas Boob; Tarun Landa; Dweeja Reddy Devi; Sushant Kogurwar; Divya Durga Kanuparthi; Mansi A. Radke (Knowl. Inf. Syst., 2026)