3 papers
math.AP2026
Neural Network Approximation of Solutions to Fractional Parabolic Partial Differential Equations
Jae-Hwan Choi, Hyojae Lim, Jinsol Seo +2
We establish a dimension-efficient neural network approximation theory for solutions to fractional parabolic equations with lower-order drift and potential terms. By introducing an…
cs.LG2025
Provable wavelet-based neural approximation
Youngmi Hur, Hyojae Lim, Mikyoung Lim
In this paper, we develop a wavelet-based theoretical framework for analyzing the universal approximation capabilities of neural networks over a wide range of activation functions.…
cs.LO2025
Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
Sangjun Han, Taeil Hur, Youngmi Hur +3
The challenge of formal proof generation has a rich history, but with modern techniques, we may finally be at the stage of making actual progress in real-life mathematical problems…