Papers by Beibei Xiong
SAIR-Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization (2026.acl-long)
Copied to clipboard
| Challenge: | Large language models (LLMs) have catalyzed advances in mathematical reasoning, propelling the development of automated theorem proving (ATP). |
| Approach: | They propose a Structure-Aware Iterative Refinement framework for Combinatorics powered by Lean 4 and LLMs. |
| Outcome: | The proposed framework achieves strong performance on the specialized CombiBench while remaining highly competitive on general-domain benchmarks. |