Showing 2026Show all
2 papers · 1 filter
math.AP2026
Fractional Parabolic Partial Differential Equations in Anisotropic Spectral Barron Spaces: Regularity and Neural Approximation
Jae-Hwan Choi, Hyojae Lim, Jinsol Seo +2
We study fractional parabolic initial-value problems with lower-order drift and potential terms in anisotropic spectral Barron spaces, defined by weighted space--time Fourier …
cs.LO2026
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…