MMODELYST
People/Ruobing Zuo
PPL

Ruobing Zuo

Papers (1)
From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates