Neural Arithmetic Logic Units.
Andrew TraskFelix HillScott E. ReedJack W. RaeChris DyerPhil BlunsomPublished in: CoRR (2018)
Keyphrases
- micron cmos
- network architecture
- neural network
- modal logic
- quantifier free
- logic programming
- real time
- nonlinear predictive control
- rewrite systems
- floating point
- first order logic
- probabilistic logic
- classical logic
- digital circuits
- predicate logic
- database
- temporal logic
- programming language
- artificial neural
- proof theory
- asynchronous circuits
- logical framework
- automated reasoning
- bio inspired
- model checking