Formalizing Piecewise Affine Activation Functions of Neural Networks in
Coq

Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq

30 January 2023

Papers citing "Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq"

Title
No papers