Hyun Ryu

2

Papers

25

Total Citations

Papers (2)

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

SimPSI: A Simple Strategy to Preserve Spectral Information in Time Series Data Augmentation