Hyemin S. Lee

1
Papers
25
Total Citations

Papers (1)

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

ICLR 2025
25
citations