PPaperPicks

Hyun Ryu

2 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ICLR ×1

Papers

  1. Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
    ICLR 2025 · Hyun Ryu
  2. SimPSI: A Simple Strategy to Preserve Spectral Information in Time Series Data Augmentation
    AAAI 2024 · Hyun Ryu