Reproduce “A Fine-Grained Dichotomy for Bounded-Variable Query Evaluation: The Calculus of Relations, a Boolean Modal Logic, and One-Variable Counting Logic” on OpenResearch

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