Space: rahit/repro-from-llm-generated-conjectures-to-lean-formalizations-automated-polynomial-inequality-prov
title: Reproduction: From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates
sdk: static
tags: trackio, trackio-logbook, open-experiment, icml2026-repro, paper-Lz8rHDmmKt
Tags: static, trackio, trackio-logbook, open-experiment, icml2026-repro, paper-Lz8rHDmmKt, region:us