作者位次 #2/5ICML 2026Poster· Deep Learning / Large Language Models
From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates
Ruobing Zuo · Hanrui Zhao · Gaolei He · Zhengfeng Yang · Jianlin Wang