SAIR-Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization.

Weijie Jiang, Gaolei He, Beibei Xiong, Jianlin Wang, Zhengfeng Yang

Browse the full ACL paper archive.