paper-with-me

Papers

Qualitative neural network approximation over R and C: Elementary proofs for analytic and polynomial activation

2022-03-25 · Josiah Park, Stephan Wojtowytsch

In this article, we prove approximation theorems in classes of deep and shallow neural networks with analytic activation functions by elementary arguments. We prove for both real and complex networks with non-polynomial activation that the closure of the class of neural networks coincides with the closure of the space of polynomials. The closure can further be characterized by the Stone-Weierstrass theorem (in the real case) and Mergelyan's theorem (in the complex case). In the real case, we further prove approximation results for networks with higher-dimensional harmonic activation and orthogonally projected linear maps. We further show that fully connected and residual networks of large depth with polynomial activation functions can approximate any polynomial under certain width requirements. All proofs are entirely elementary.

📄 PDF Abstract BibTeX arXiv:2203.13410

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs

2023-01-05 · Garett Cunningham, Razvan C. Bunescu, David Juedes

The ever-growing complexity of mathematical proofs makes their manual verification by mathematicians very cognitively demanding. Autoformalization seeks to address this by translating proofs written in natural language i…

Mathematical ProofsSemantic Parsing

Automated Planning Techniques for Elementary Proofs in Abstract Algebra

2023-12-11 · Alice Petrov, Christian Muise

This paper explores the application of automated planning to automated theorem proving, which is a branch of automated reasoning concerned with the development of algorithms and computer programs to construct mathematica…

Abstract AlgebraAutomated Theorem ProvingMathematical Proofs

A New Approach to Drifting Games, Based on Asymptotically Optimal Potentials

2022-07-23 · Zhilei Wang, Robert V. Kohn

We develop a new approach to drifting games, a class of two-person games with many applications to boosting and online learning settings. Our approach involves (a) guessing an asymptotically optimal potential by solving …

A Linear Approximation to the chi^2 Kernel with Geometric Convergence

2012-06-18 · Fuxin Li, Guy Lebanon, Cristian Sminchisescu

We propose a new analytical approximation to the $\chi^2$ kernel that converges geometrically. The analytical approximation is derived with elementary methods and adapts to the input distribution for optimal convergence …

General Classificationimage-classificationImage ClassificationSegmentation+1

On the Analysis of Qualitative Nyquist Plots

2025-03-31 · Davide Tebaldi, Roberto Zanasi

A powerful tool in control and systems engineering is represented by Nyquist plots, for which a qualitative representation often gives a clearer visualization of the frequency response function that is typically not give…