FourDimensional Compactifications of hte Pure Spinor Formalism (2020)