Ryu, Hyun

1. Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
   2024/10/10 by Hyun Jun Ryu, Gyeongman Kim, Ryu, Hyun +5 · 6 citations
   Computer Science · #Advanced Algebra and Logic #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
2. SimPSI: A Simple Strategy to Preserve Spectral Information in Time Series Data Augmentation
   2023/12/10 by Ryu, Hyun, Yoon, Sunjae, Yoon, Hee Suk +2 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Signal Processing (eess.SP) #electronic engineering #information engineering