approximation theory 1dimension-independent analysis 1fractional pdes 1neural network approximation 1spectral barron spaces 1
From the 1 of 5 linked papers with an AI index.
Showing cs.LOShow all
2 papers · 1 filter
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…
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…