Multi-language Diversity Benefits Autoformalization | Read Paper on Bytez