Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning. - Hyun Ryu; Gyeongman Kim; Hyemin S. Lee; Eunho Yang (ICLR, 2025)