Reproduce “J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)” on OpenResearch

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