SITA: A Framework for Structure-to-Instance Theorem Autoformalization.

Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen

Browse the full AAAI paper archive.