Reproduce “Sharp Degree Bounds for Putinar Certificates in Terms of the Positivity Margin via Analytic Sums of Squares” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.