The Sigmoid Function and the Universal Approximation Theorem
by Dustin Bryant, Jim Woodcock and Simon Foster
by Dustin Bryant, Jim Woodcock and Simon Foster
Computer science/Artificial intelligence
Subject Classification
ACM: Computing methodologies~Artificial intelligence
AMS: Computer science / Artificial intelligence
2025
by Dustin Bryant, Jim Woodcock and Simon Foster
2022
Automation of Boolos' Curious Inference in Isabelle/HOL
by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe