Ruobing Zuo

Identifiers

• name variant Ruobing Zuo 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 #1

Mentions

• 2605.15445 #1 · arxiv_oai · confidence 0.70 Ruobing Zuo

Frequent Coauthors

• Gaolei He 1 shared papers
• Hanrui Zhao 1 shared papers
• Jianlin Wang 1 shared papers
• Zhengfeng Yang 1 shared papers