Simulating open quantum systems is challenging due to its high dimensionality. The recently proposed inchworm algorithm provides an efficient strategy to reduce the bath degree of freedom based on diagrammatic resummation techniques. In this talk, we will discuss some recent progress in mathematical understanding of such diagrammatic algorithms. In particular, we will introduce a new algorithm for open quantum systems based on an integral-differential equation formulation.