2 citations · 3 across the 5 of their papers we have counts for
5 papers
Finding Koopman Invariant Subspaces via Personalized PageRank
Hyukpyo Hong, Qin Li, Matthew J. Colbrook +1
Selecting a finite dictionary of observables whose span is Koopman-invariant is a central challenge in data-driven Koopman operator approximation. We address this problem by exploi…
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…
Asymptotic Robustness in Biochemical Systems
Hyukpyo Hong, Diego Rojas La Luz, Gheorghe Craciun
Living systems maintain stable internal states despite environmental fluctuations. Absolute concentration robustness (ACR) is a striking homeostatic phenomenon in which the steady-…
Robust Perfect Adaptation of Reaction Fluxes Ensured by Network Topology
Yuji Hirono, Hyukpyo Hong, Jae Kyoung Kim
Maintaining stability in an uncertain environment is essential for proper functioning of living systems. Robust perfect adaptation (RPA) is a property of a system that generates an…
Computational translation framework identifies biochemical reaction networks with special topologies and their long-term dynamics
Hyukpyo Hong, Bryan S. Hernandez, Jinsu Kim +1
Long-term behaviors of biochemical systems are described by steady states in deterministic models and stationary distributions in stochastic models. Obtaining their analytic soluti…