Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning.

Hyun Ryu, Gyeongman Kim, Hyemin S. Lee, Eunho Yang

Browse the full ICLR paper archive.