MMODELYST
People/Zhengfeng Yang
PPL

Zhengfeng Yang

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