TY  - RPRT
TI  - Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
AU  - Hyun Ryu
AU  - Gyeongman Kim
AU  - Hyemin S. Lee
AU  - Eunho Yang
PY  - 2025
UR  - https://arxiv.org/abs/2410.08047
ID  - 2410.08047
ER  -