Tube-volume bounds for smooth Pfaffian hypersurfaces yield condition-number tails for Pfaffian neural classifiers, with polynomial-in-width control for single-layer rational-weight sigmoids.
Title resolution pending
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
years
2026 4representative citing papers
HyperCertificates combine closure certificates for lookahead with barrier and ranking functions to verify discrete-time systems against HyperLTL specifications.
The Schanuel integral of indicator functions of semi-algebraic sets is well-defined, basis-independent, and equals the classical Euler characteristic.
citing papers explorer
-
Tubular Neighbourhoods of Pfaffian Sets and Applications to Neural Networks
Tube-volume bounds for smooth Pfaffian hypersurfaces yield condition-number tails for Pfaffian neural classifiers, with polynomial-in-width control for single-layer rational-weight sigmoids.
-
HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
HyperCertificates combine closure certificates for lookahead with barrier and ranking functions to verify discrete-time systems against HyperLTL specifications.
-
Schanuel Integration and Euler Characteristic of Semi-algebraic Sets
The Schanuel integral of indicator functions of semi-algebraic sets is well-defined, basis-independent, and equals the classical Euler characteristic.
- Convergence of difference inclusions: a diameter criterion and step-size conditions