Skip to content
Log in
Sponsored Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt

Author

Gaolei He

h-index 1 View on Semantic Scholar

We have 1 of 4 papers

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

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.