P. García and L. Estrada, “A neuro-symbolic approach for automatic assessment in ordinary differential equations”, AIAIE, vol. 1, no. 1, pp. 55–63, Mar. 2026.