Reproduce “Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations” on OpenResearch

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