一作ACL 2026Poster· Natural Language Processing
SAIR -Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization
Weijie Jiang · Gaolei He · Beibei Xiong · Jianlin Wang · Zhengfeng Yang
摘要
Autoformalization aims to bridge the gap between human mathematical intuition and formal proof by automating the translation of informal reasoning into machine-verifiable languages. Despite significant breakthroughs catalyzed by Large Language Models (LLMs), autoformalizing Combinatorics remains...