Skip to content
Log in

Author

Weijie Jiang

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Conference Open access 2026

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

SAIR-Comb is proposed, a new framework for autoformalizing combinatorics powered by Lean 4 and LLMs that achieves strong performance on the specialized CombiBench while remaining highly competitive on general-domain benchmarks, including PutnamBench and ProverBench.

Weijie Jiang, Gaolei He, Beibei Xiong et al. · 0 citations