SearcharxivSearch

arXiv subjects

Daniel Stein

Publications and source records attributed to Daniel Stein.

2 recordsLinked to original sources

Late Breaking Results: Conversion of Neural Networks into Logic Flows for Edge Computing

Neural networks have been successfully applied in various resource-constrained edge devices, where usually central processing units (CPUs) instead of graphics processing units exist due to limited power availability. State-of-the-art research still focuses on efficiently executing enormous numbers of multiply-accumulate (MAC) operations. However, CPUs themselves are not good at executing such mathematical operations on a large scale, since they are more suited to execute control flow logic, i.e., computer algorithms. To enhance the computation efficiency of neural networks on CPUs, in this paper, we propose to convert them into logic flows for execution. Specifically, neural networks are first converted into equivalent decision trees, from which decision paths with constant leaves are then selected and compressed into logic flows. Such logic flows consist of if and else structures and a reduced number of MAC operations. Experimental results demonstrate that the latency can be reduced by up to 14.9 % on a simulated RISC-V CPU without any accuracy degradation. The code is open source at https://github.com/TUDa-HWAI/NN2Logic

cs.LG

Uniqueness of Ground States for Short-Range Spin Glasses in the Half-Plane

We consider the Edwards-Anderson Ising spin glass model on the half-plane $Z \times Z^+$ with zero external field and a wide range of choices, including mean zero Gaussian, for the common distribution of the collection J of i.i.d. nearest neighbor couplings. The infinite-volume joint distribution $K(J,α)$ of couplings J and ground state pairs $α$ with periodic (respectively, free) boundary conditions in the horizontal (respectively, vertical) coordinate is shown to exist without need for subsequence limits. Our main result is that for almost every J, the conditional distribution $K(α|J)$ is supported on a single ground state pair.

math.PR