Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem

Dustin Bryant, Jim Woodcock, Simon Foster

This paper presents a formalized analysis of the sigmoid function and a fully mechanized proof of the Universal Approximation Theorem (UAT) in Isabelle/HOL, a higher-order logic th…