paper-with-me

Papers

$\partial\mathbb{B}$ nets: learning discrete functions by gradient descent

2023-05-12 · Ian Wright

$\partial\mathbb{B}$ nets are differentiable neural networks that learn discrete boolean-valued functions by gradient descent. $\partial\mathbb{B}$ nets have two semantically equivalent aspects: a differentiable soft-net, with real weights, and a non-differentiable hard-net, with boolean weights. We train the soft-net by backpropagation and then harden' the learned weights to yield boolean weights that bind with the hard-net. The result is a learned discrete function. Hardening' involves no loss of accuracy, unlike existing approaches to neural network binarization. Preliminary experiments demonstrate that $\partial\mathbb{B}$ nets achieve comparable performance on standard machine learning problems yet are compact (due to 1-bit weights) and interpretable (due to the logical nature of the learnt functions).

📄 PDF Abstract BibTeX arXiv:2305.07315

Code (1)

z80coder/db-nets 공식 구현 jax

Tasks

Binarization

Similar Papers 제목 키워드 기반

Coordinate-wise Armijo's condition: General case

2020-03-11 · Tuyen Trung Truong

Let $z=(x,y)$ be coordinates for the product space $\mathbb{R}^{m_1}\times \mathbb{R}^{m_2}$. Let $f:\mathbb{R}^{m_1}\times \mathbb{R}^{m_2}\rightarrow \mathbb{R}$ be a $C^1$ function, and $\nabla f=(\partial _xf,\partia…

Approximation properties of Residual Neural Networks for Kolmogorov PDEs

2021-10-30 · Jonas Baggenstos, Diyora Salimova

In recent years residual neural networks (ResNets) as introduced by [He, K., Zhang, X., Ren, S., and Sun, J., Proceedings of the IEEE conference on computer vision and pattern recognition (2016), 770-778] have become ver…

image-classificationImage ClassificationMath

De Rham compatible Deep Neural Network FEM

2022-01-14 · Marcello Longo, Joost A. A. Opschoor, Nico Disch, Christoph Schwab 외

On general regular simplicial partitions $\mathcal{T}$ of bounded polytopal domains $\Omega \subset \mathbb{R}^d$, $d\in\{2,3\}$, we construct \emph{exact neural network (NN) emulations} of all lowest order finite elemen…

The loss landscape of overparameterized neural networks

2018-04-26 · ICLR 2019 5 · Y. Cooper

We explore some mathematical features of the loss landscape of overparameterized neural networks. A priori one might imagine that the loss function looks like a typical function from $\mathbb{R}^n$ to $\mathbb{R}$ - in p…

Coordinate-wise Armijo's condition

2019-11-18 · Tuyen Trung Truong

Let $z=(x,y)$ be coordinates for the product space $\mathbb{R}^{m_1}\times \mathbb{R}^{m_2}$. Let $f:\mathbb{R}^{m_1}\times \mathbb{R}^{m_2}\rightarrow \mathbb{R}$ be a $C^1$ function, and $\nabla f=(\partial _xf,\partia…