pith. sign in

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