@misc{indiciae10a7a697b174,
  title = {Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning},
  author = {Hyun Ryu and Gyeongman Kim and Hyemin S. Lee and Eunho Yang},
  year = {2025},
  url = {https://arxiv.org/abs/2410.08047},
  note = {Source identifier: 2410.08047}
}