Reproduce “Using games and universal trees to characterise the nondeterministic index of tree languages” on OpenResearch

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