Hyemin S. Lee

According to our database, Hyemin S. Lee authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

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

Hyun Ryu, Gyeongman Kim, Hyemin S. Lee, Eunho Yang

Proceedings of the Thirteenth International Conference on Learning Representations, 2025