MMODELYST
People/Hanrui Zhao
PPL

Hanrui Zhao

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