APA (7th ed.) Citation

Li, C., Ma, W., Wang, Z., & Wen, Z. (2025). SITA: A Framework for Structure-to-Instance Theorem Autoformalization.

Chicago Style (17th ed.) Citation

Li, Chenyi, Wanli Ma, Zichen Wang, and Zaiwen Wen. SITA: A Framework for Structure-to-Instance Theorem Autoformalization. 2025.

MLA (9th ed.) Citation

Li, Chenyi, et al. SITA: A Framework for Structure-to-Instance Theorem Autoformalization. 2025.