Skip to content
conftrace_

mathematical construction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

neural network formalization (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