rahit/repro-from-llm-generated-conjectures-to-lean-formalizations-automated-polynomial-inequality-prov

Reproduction: From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates

An open experiment logbook, published with Trackio.