Lee, Hyemin S.

1 publications

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