Reproduce “Finite-valuation approximable structures: a solution to the Jung--Tix problem of probabilistic powerdomains” on OpenResearch

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