Reproduce “Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity” on OpenResearch

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