Hyun Ryu
2 papers · 2024–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
Top co-authors
Research topics
Keywords
neural network training
(1)
logical reasoning
(1)
data augmentation
(1)
satisfiability solving
(1)
first-order logic
(1)
frequency domain
(1)
neuro-symbolic approach
(1)
magnitude spectrum
(1)
time series data augmentation
(1)
spectral information
(1)
preservation map
(1)
time series augmentation
(1)
logical dependency structure
(1)