Neural Arithmetic Logic Units.
Andrew TraskFelix HillScott E. ReedJack W. RaeChris DyerPhil BlunsomPublished in: NeurIPS (2018)
Keyphrases
- micron cmos
- network architecture
- neural network
- logic programming
- formal theory
- classical logic
- quantifier free
- multi valued
- automated reasoning
- biologically plausible
- sound and complete axiomatization
- floating point
- neural fuzzy
- predicate logic
- nonlinear predictive control
- asynchronous circuits
- computational properties
- rewrite systems
- neural information processing
- hebbian learning
- digital circuits
- real time
- neural model
- learning rules
- bio inspired
- modal logic
- databases