Reproduce “From an entropic inequality for sums in abelian groups to the theorems of Ruzsa and Plünnecke” on OpenResearch

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