conftrace_

higher-order synaptic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

equation verification (1) mathematical equation verification (1) multiplicative connection (1) equation completion (1) memory-augmented network (1) external memory (1) recursive neural network (1) mathematical reasoning (1)

Papers

Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units AAAI 2021