MMODELYST
People/Jianlin Wang
PPL

Jianlin Wang

Papers (2)
From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares CertificatesAutomated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs