Login / Signup
Andrei Aleksandrov
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Activation Function
Piecewise Affine
Multilayer Perceptron
Hidden Neurons
Top Venues
CoRR
NFM
</>
Publications
</>
Andrei Aleksandrov
,
Kim Völlinger
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq.
NFM
(2023)
Andrei Aleksandrov
,
Kim Völlinger
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq.
CoRR
(2023)