31 citations · 113 across the 46 of their papers we have counts for
6 papers · 1 filter
HypLTSF: A Hyperbolic Geometric View of Multi-Scale Hierarchies for Long-Term Time Series Forecasting
Namwoo Kim, Hyungryul Baik, Yoonjin Yoon
Multi-scale modeling has become an effective approach for long-term time series forecasting, capturing temporal patterns that range from fine-grained local dynamics to coarse globa…
Lean-GAP: A Dataset of Formalized Graduate Algebra Problems
Seewoo Lee, Byung-Hak Hwang, Hyojae Lim +10
We present Lean-GAP (Lean-Graduate Agebra Problems), 430 formalized graduate-level algebra problems from the textbook Abstract Algebra by Dummit and Foote. We develop a scalable pi…
Co-Hopfianity is not a profinite property
Hyungryul Baik, Wonyong Jang
We exhibit two finitely generated residually finite groups and with isomorphic profinite completions , such that is co-Hopfian while …
Random Groups at Density : Sharp Length Inequalities for Generalized Torsion and a Fixed-width Exclusion via First-order Transfer
Hyungryul Baik
Let be a random group in Gromov's density model with . We prove a sharp quantitative constraint on products of conjugates equal to the identity: for ever…
Optimizing the Upper-Bound Constant for the Crossing Number of Polynomial Curve Systems
Hyungryul Baik
Baader, Jörg, and Parlier recently established an upper bound for the crossing number of curve systems of size on a genus surface, obtaining a leading coeffic…
Uniform Perfectness and Centers in Sublinearly Morse Boundaries
Hyungryul Baik
The --Morse boundary was introduced for CAT(0) spaces by Qing and Rafi and extended to proper geodesic spaces by Qing, Rafi, and Tiozzo. Motivated by Han and Liu's work on unifo…