Multi-language Diversity Benefits Autoformalization - Jiang, Albert Q.; Li, Wenda; Jamnik, Mateja (Advances in Neural Information Processing Systems, 2024)