C. Li, W. Ma, Z. Wang, and Z. Wen, “SITA: A Framework for Structure-to-Instance Theorem Autoformalization”, AAAI, vol. 40, no. 23, pp. 19224–19232, Mar. 2026.