Ryu, H., Kim, G., Lee, H. S., & Yang, E. (2024). Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning.
Chicago Style (17th ed.) CitationRyu, Hyun, Gyeongman Kim, Hyemin S. Lee, and Eunho Yang. Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning. 2024.
MLA (9th ed.) CitationRyu, Hyun, et al. Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning. 2024.
Warning: These citations may not always be 100% accurate.