Skip to content
conftrace_

neural network formalization

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

mathematical construction (1) modular network (1) neural network (1) deep learning architecture (1) differentiable computing (1) differentiable programming (1) formal verification (1) model architecture (1) learning theory (1)

Papers

Machines of Finite Depth: Towards a Formalization of Neural Networks AAAI 2023