Similarly, (Yao et al., 2019) relies on a pre-defined two-level hierarchy among components in an If-Then program and cannot generalize to formal languages with a deeper structure.
mISP aims for a general design principle by explicitly identifying and decoupling important components, such as error detector, question generator and world model.