Li, C.; Ma, W.; Wang, Z.; Wen, Z. SITA: A Framework for Structure-to-Instance Theorem Autoformalization. AAAI 2026, 40, 19224-19232.