Hanrui Zhao

Identifiers

• name variant Hanrui Zhao 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 #2

Mentions

• 2605.15445 #2 · arxiv_oai · confidence 0.70 Hanrui Zhao

Frequent Coauthors

• Gaolei He 1 shared papers
• Jianlin Wang 1 shared papers
• Ruobing Zuo 1 shared papers
• Zhengfeng Yang 1 shared papers