Robuta

https://github.com/bergwerf/linear_integer_arithmetic
Linear integer arithmetic decidability via automata. - bergwerf/linear_integer_arithmetic
integer arithmeticgithublineardecidabilityvia
https://arxiv.org/abs/2006.11735v1
Abstract page for arXiv paper 2006.11735v1: Efficient Integer-Arithmetic-Only Convolutional Neural Networks
convolutional neural networksinteger arithmeticefficient