← Search

Hyun Ryu

3 accepted papers

2025

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

ICLR 2025poster

Complex logical reasoning tasks require a long sequence of reasoning, which a large language model (LLM) with chain-of-thought prompting still falls short. To alleviate this issue, neurosymbolic approaches incorporate a symbolic solver. Specifically, an LLM only translates a natural language problem…

2024

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

AAAI 2024technical

Data augmentation is a crucial component in training neural networks to overcome the limitation imposed by data size, and several techniques have been studied for time series. Although these techniques are effective in certain tasks, they have yet to be generalized to time series benchmarks. We find…