Gaolei He

Identifiers

• name variant Gaolei He 0.60 · backfill

Papers (1)

1. From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates cs.AI · 2026 · author #3

Mentions

• 2605.15445 #3 · arxiv_oai · confidence 0.70 Gaolei He

Frequent Coauthors

• Hanrui Zhao 1 shared papers
• Jianlin Wang 1 shared papers
• Ruobing Zuo 1 shared papers
• Zhengfeng Yang 1 shared papers