Reproduce “A new method for proving confluence on abstract reduction systems --- Confluence of non-E-overlapping weakly-shallow TRSs ---” on OpenResearch

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